aboutsummaryrefslogtreecommitdiff
path: root/readline
diff options
context:
space:
mode:
authorRoland Pesch <pesch@cygnus>1993-05-15 04:42:09 +0000
committerRoland Pesch <pesch@cygnus>1993-05-15 04:42:09 +0000
commitad16d0947ec7dc0c7f4850add1a61aa832b16c46 (patch)
tree17665ea85aab189af1e18fd0c3a27687bdc3617d /readline
parentda24340ca3e2d1158a7f8e126e1c963bdd458833 (diff)
downloadgdb-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.texinfo5
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