aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRoland Pesch <pesch@cygnus>1991-04-05 23:11:21 +0000
committerRoland Pesch <pesch@cygnus>1991-04-05 23:11:21 +0000
commit4a69e6d6cf014e81aada308b90ca98d0b5c0aceb (patch)
tree8afb96802a604590955c5bb6e3346c8b1a7ef2a3
parentccc7daa2141bb5f47a5982c0e2281bd137a35db3 (diff)
downloadgdb-4a69e6d6cf014e81aada308b90ca98d0b5c0aceb.zip
gdb-4a69e6d6cf014e81aada308b90ca98d0b5c0aceb.tar.gz
gdb-4a69e6d6cf014e81aada308b90ca98d0b5c0aceb.tar.bz2
Introduce @appendix near top, so this doesn't run together with
preceding text.
-rwxr-xr-xreadline/inc-history.texinfo5
1 files changed, 3 insertions, 2 deletions
diff --git a/readline/inc-history.texinfo b/readline/inc-history.texinfo
index e61c25d..a32e70d 100755
--- a/readline/inc-history.texinfo
+++ b/readline/inc-history.texinfo
@@ -25,14 +25,15 @@ Permission is granted to copy and distribute translations of this manual
into another language, under the above conditions for modified versions.
@end ignore
-@node History Top
+@node History Top,,,
+@appendix Command Line History
@ifinfo
This file is meant to be an inclusion in the documentation of programs
that use the history library features. There is also a standalone
document, entitled @file{history.texinfo}.
@end ifinfo
-This chapter describes the GNU History library, a programming tool that
+This Appendix describes the GNU History library, a programming tool that
provides a consistent user interface for recalling lines of previously
typed input.