From 0e15452ddffd8f84440dcf6756c6978d1a8bf3b7 Mon Sep 17 00:00:00 2001 From: Ulrich Drepper Date: Sat, 13 Nov 1999 00:43:53 +0000 Subject: [PATCH] (Library Summary): The command @indexfonts doesn't exist anymore, use @smallfonts instead. --- manual/header.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/manual/header.texi b/manual/header.texi index 0ab36d7e5e9..7a4cb058fc7 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. -- 2.47.3