diff options
| -rw-r--r-- | readline/doc/rluser.texinfo | 5 |
1 files changed, 0 insertions, 5 deletions
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 |