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 e1f738c3831658032a6e906f99e7b77102389001..6b1248078335d798236c3e8f1eca1d68807e9dee 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