diff --git a/doc/r5rs/ChangeLog b/doc/r5rs/ChangeLog index 4b0973487..b5e4e9a3c 100644 --- a/doc/r5rs/ChangeLog +++ b/doc/r5rs/ChangeLog @@ -1,3 +1,10 @@ +2004-11-05 Marius Vollmer + + * r5rs.texi: Use @ifnottex instead of @ifinfo around the "Top" + node declaration so that html can be generated. Use only lower + case inside @sc. Move editors outside of author table, which + looks better in html. + 2001-08-27 Neil Jerram * Makefile.am (TEXINFO_TEX): Added; avoids shipping multiple copies of