aboutsummaryrefslogtreecommitdiff
path: root/readline/readline.texi
diff options
context:
space:
mode:
authorRoland Pesch <pesch@cygnus>1991-11-14 20:12:16 +0000
committerRoland Pesch <pesch@cygnus>1991-11-14 20:12:16 +0000
commit9dd0e793d765a1b9fcfce1a4ca462f7cd61ddee2 (patch)
treee13b3949f2563a4547190d868ad5033f3145a7e3 /readline/readline.texi
parentc56f1262ca8f5319c991fa3df5b8ccec4ff9de72 (diff)
downloadgdb-9dd0e793d765a1b9fcfce1a4ca462f7cd61ddee2.zip
gdb-9dd0e793d765a1b9fcfce1a4ca462f7cd61ddee2.tar.gz
gdb-9dd0e793d765a1b9fcfce1a4ca462f7cd61ddee2.tar.bz2
readline, inc-read: fix node structure so this makeinfo's cleanly.
Makefile.in: reflect dependencies for readline.info correctly; invoke makeinfo without '-' prefix.
Diffstat (limited to 'readline/readline.texi')
-rwxr-xr-xreadline/readline.texi6
1 files changed, 3 insertions, 3 deletions
diff --git a/readline/readline.texi b/readline/readline.texi
index 464f618..abb6351 100755
--- a/readline/readline.texi
+++ b/readline/readline.texi
@@ -90,7 +90,7 @@ by the Foundation.
@end titlepage
-@node Top, Readline Top, ,(DIR)
+@node Top, , ,(DIR)
@chapter GNU Readline Library
@ifinfo
@@ -100,8 +100,8 @@ to provide a command line interface.
@end ifinfo
@menu
-* Readline Top:: GNU Readline User's Manual
-* Readline Technical:: GNU Readline Programmer's Manual
+* Command Line Editing:: GNU Readline User's Manual
+* Readline Technical:: GNU Readline Programmer's Manual
@end menu
@include inc-read.texi
@node Readline Technical, , Top, Top