diff options
author | Roland Pesch <pesch@cygnus> | 1993-05-15 04:42:09 +0000 |
---|---|---|
committer | Roland Pesch <pesch@cygnus> | 1993-05-15 04:42:09 +0000 |
commit | ad16d0947ec7dc0c7f4850add1a61aa832b16c46 (patch) | |
tree | 17665ea85aab189af1e18fd0c3a27687bdc3617d /readline | |
parent | da24340ca3e2d1158a7f8e126e1c963bdd458833 (diff) | |
download | gdb-ad16d0947ec7dc0c7f4850add1a61aa832b16c46.zip gdb-ad16d0947ec7dc0c7f4850add1a61aa832b16c46.tar.gz gdb-ad16d0947ec7dc0c7f4850add1a61aa832b16c46.tar.bz2 |
Remove header info no longer useful now that this file is never
formatted except as an @include from other files.
Diffstat (limited to 'readline')
-rw-r--r-- | readline/doc/rluser.texinfo | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/readline/doc/rluser.texinfo b/readline/doc/rluser.texinfo index e1f738c..6b12480 100644 --- a/readline/doc/rluser.texinfo +++ b/readline/doc/rluser.texinfo @@ -1,8 +1,3 @@ -@comment %**start of header (This is for running Texinfo on a region.) -@setfilename rluser.info -@comment %**end of header (This is for running Texinfo on a region.) -@setchapternewpage odd - @ignore This file documents the end user interface to the GNU command line editing feautres. It is to be an appendix to manuals for programs which |