diff options
| author | K. Richard Pixley <rich@cygnus> | 1991-11-14 00:36:07 +0000 |
|---|---|---|
| committer | K. Richard Pixley <rich@cygnus> | 1991-11-14 00:36:07 +0000 |
| commit | 14ccee322bf3fbf20bcd3fdacb17bd7faa040fb3 (patch) | |
| tree | f00eda2e725b06b8e2f5201614352e35840f3125 /readline/readline.texi | |
| parent | 50d2bb5b4c8b9f3e343596801dcd7632c8c3dd5a (diff) | |
| download | gdb-14ccee322bf3fbf20bcd3fdacb17bd7faa040fb3.zip gdb-14ccee322bf3fbf20bcd3fdacb17bd7faa040fb3.tar.gz gdb-14ccee322bf3fbf20bcd3fdacb17bd7faa040fb3.tar.bz2 | |
added info dir menu hooks
Diffstat (limited to 'readline/readline.texi')
| -rwxr-xr-x | readline/readline.texi | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/readline/readline.texi b/readline/readline.texi index 578e1b7..ea6c9ea 100755 --- a/readline/readline.texi +++ b/readline/readline.texi @@ -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 |