diff options
| author | Ulrich Drepper <drepper@redhat.com> | 1999-11-03 04:23:46 +0000 |
|---|---|---|
| committer | Ulrich Drepper <drepper@redhat.com> | 1999-11-03 04:23:46 +0000 |
| commit | dbd3e8629f6efb51bcddbd9e85ab87c0dd95a6ee (patch) | |
| tree | ff70c0c1a31f828af317d3c3ff448145409bc199 /manual/header.texi | |
| parent | a9cb398f7b2a6a8549ec33cdcc99f510566d3819 (diff) | |
Update.
1999-11-02 Andreas Jaeger <aj@suse.de>
* manual/header.texi (Library Summary): The command @indexfonts
doesn't exist anymore, use @smallfonts instead.
Diffstat (limited to 'manual/header.texi')
| -rw-r--r-- | manual/header.texi | 2 |
1 files changed, 1 insertions, 1 deletions
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. |