From dbd3e8629f6efb51bcddbd9e85ab87c0dd95a6ee Mon Sep 17 00:00:00 2001 From: Ulrich Drepper Date: Wed, 3 Nov 1999 04:23:46 +0000 Subject: Update. 1999-11-02 Andreas Jaeger * manual/header.texi (Library Summary): The command @indexfonts doesn't exist anymore, use @smallfonts instead. --- manual/header.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'manual/header.texi') diff --git a/manual/header.texi b/manual/header.texi index 0ab36d7e5e..7a4cb058fc 100644 --- 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. -- cgit v1.2.3