diff options
author | Roland Pesch <pesch@cygnus> | 1991-11-14 20:12:16 +0000 |
---|---|---|
committer | Roland Pesch <pesch@cygnus> | 1991-11-14 20:12:16 +0000 |
commit | 9dd0e793d765a1b9fcfce1a4ca462f7cd61ddee2 (patch) | |
tree | e13b3949f2563a4547190d868ad5033f3145a7e3 /readline/readline.texi | |
parent | c56f1262ca8f5319c991fa3df5b8ccec4ff9de72 (diff) | |
download | gdb-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-x | readline/readline.texi | 6 |
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 |