added info dir menu hooks
authorK. Richard Pixley <rich@cygnus>
Thu, 14 Nov 1991 00:36:07 +0000 (00:36 +0000)
committerK. Richard Pixley <rich@cygnus>
Thu, 14 Nov 1991 00:36:07 +0000 (00:36 +0000)
readline/history.texi
readline/readline.texi

index 7302edb3323765f404238df9cbcf8937dcc88748..1bcce4d402cc65c4dc0f476562997a3ec132f669 100755 (executable)
@@ -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.
index 578e1b7e9d5e0f7ff92af70a9d3195c8aa8cc812..ea6c9ea8585b3e82a684d27a4953a585e253a09d 100755 (executable)
@@ -5,9 +5,13 @@
 @comment %**end of header (This is for running Texinfo on a region.)
 @synindex fn vr
 
-@c start-menu
+@ifinfo
+@format
+START-INFO-DIR-ENTRY
 * Readline: (readline).                The GNU Readline Library.
-@c end-menu
+END-INFO-DIR-ENTRY
+@end format
+@end ifinfo
 
 @iftex
 @comment finalout