Sat Nov 30 18:58:40 1991 Steve Chamberlain (sac at cygnus.com)

[binutils.git] / readline / history.texi

diff --git a/readline/history.texi b/readline/history.texi
index 7302edb3323765f404238df9cbcf8937dcc88748..5fd9125b84fee69ef89be20b363cc06f96aba1d8 100755 (executable)
--- a/readline/history.texi
+++ b/readline/history.texi
@@ -1,9 +1,13 @@
 \input texinfo.tex
 @setfilename history.info
 
-@c start-menu
+@ifinfo
+@format
+START-INFO-DIR-ENTRY
 * History: (history).          The GNU History library.
-@c end-menu
+END-INFO-DIR-ENTRY
+@end format
+@end ifinfo
 
 @ifinfo
 This file documents the GNU History library.
@@ -44,7 +48,7 @@ typed input.
 * Programming::                How to use History in your programs.
 @end menu
 
-@node Introduction, Interactive Use, , Top
+@node Introduction, Interactive Use, Top, Top
 @unnumbered Introduction
 
 Many programs read input from the user a line at a time.  The GNU history