From: Roland Pesch <pesch@cygnus>
Date: Sat, 15 May 1993 04:42:09 +0000 (+0000)
Subject: Remove header info no longer useful now that this file is never
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ad16d0947ec7dc0c7f4850add1a61aa832b16c46;p=binutils-gdb.git

Remove header info no longer useful now that this file is never
formatted except as an @include from other files.
---

diff --git a/readline/doc/rluser.texinfo b/readline/doc/rluser.texinfo
index e1f738c3831..6b124807833 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