From ad16d0947ec7dc0c7f4850add1a61aa832b16c46 Mon Sep 17 00:00:00 2001 From: Roland Pesch Date: Sat, 15 May 1993 04:42:09 +0000 Subject: [PATCH] Remove header info no longer useful now that this file is never formatted except as an @include from other files. --- readline/doc/rluser.texinfo | 5 ----- 1 file changed, 5 deletions(-) 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 -- 2.30.2