From 38d572f57b7a7fd19b58fc094dc5fd5bd52caa87 Mon Sep 17 00:00:00 2001 From: Marius Vollmer Date: Fri, 5 Nov 2004 15:31:31 +0000 Subject: [PATCH] *** empty log message *** --- doc/r5rs/ChangeLog | 7 +++++++ 1 file changed, 7 insertions(+) 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