(Library Summary): The command @indexfonts doesn't exist anymore, use

@smallfonts instead.

diff --git a/manual/header.texi b/manual/header.texi
index 0ab36d7e5e94e06608e422047959c4f1232f974f..7a4cb058fc703f4f5f96f282ea53657dc4933010 100644 (file)
--- a/manual/header.texi
+++ b/manual/header.texi
@@ -10,7 +10,7 @@ it.
 
 @c This table runs wide.  Shrink fonts.
 @iftex
-@indexfonts @rm
+@smallfonts @rm
 @end iftex
 @table @code
 @comment summary.texi is generated from the other Texinfo files.