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 e1f738c..6b12480 100644 (file)
--- 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