diff options
Diffstat (limited to 'readline/history.texi')
| -rwxr-xr-x | readline/history.texi | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/readline/history.texi b/readline/history.texi index 7302edb..1bcce4d 100755 --- 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. |