Remove header info no longer useful now that this file is never
formatted except as an @include from other files.
This commit is contained in:
parent
da24340ca3
commit
ad16d0947e
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user