diff options
Diffstat (limited to 'readline/doc/inc-hist.texi')
-rw-r--r-- | readline/doc/inc-hist.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/readline/doc/inc-hist.texi b/readline/doc/inc-hist.texi index 9cdde40..f55f7ae 100644 --- a/readline/doc/inc-hist.texi +++ b/readline/doc/inc-hist.texi @@ -27,7 +27,7 @@ Permission is granted to copy and distribute translations of this manual into another language, under the above conditions for modified versions. @end ignore -@node Using History Interactively +@node Using History, Installing GDB, Command Line Editing, Top @appendix Using History Interactively This chapter describes how to use the GNU History Library interactively, |