diff options
Diffstat (limited to 'lib/readline/doc/rluser.texi~')
| -rw-r--r-- | lib/readline/doc/rluser.texi~ | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/readline/doc/rluser.texi~ b/lib/readline/doc/rluser.texi~ index 8851e1b3..886f8371 100644 --- a/lib/readline/doc/rluser.texi~ +++ b/lib/readline/doc/rluser.texi~ @@ -1,7 +1,6 @@ @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 |