From: Roland Pesch 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-Tag: gdb-4_18~19219 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=ad16d0947ec7dc0c7f4850add1a61aa832b16c46;p=external%2Fbinutils.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 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