X-Git-Url: http://git.efficios.com/?a=blobdiff_plain;f=readline%2Fdoc%2Frluserman.texi;fp=readline%2Fdoc%2Frluserman.texi;h=0000000000000000000000000000000000000000;hb=6999161a2a3b3cbd918570e094199184331d4f81;hp=b5754389eb2a6e439ae0cb8ec5a3e3abef276849;hpb=12e7c35ec3c09793ed9613cdf696b9f0f4dd86ec;p=deliverable%2Fbinutils-gdb.git

diff --git a/readline/doc/rluserman.texi b/readline/doc/rluserman.texi
deleted file mode 100644
index b5754389eb..0000000000
--- a/readline/doc/rluserman.texi
+++ /dev/null
@@ -1,70 +0,0 @@
-\input texinfo    @c -*-texinfo-*-
-@comment %**start of header (This is for running Texinfo on a region.)
-@setfilename rluserman.info
-@settitle GNU Readline Library
-@include version.texi
-
-@comment %**end of header (This is for running Texinfo on a region.)
-
-@copying
-This manual describes the end user interface of the GNU Readline Library
-(version @value{VERSION}, @value{UPDATED}), a library which aids in the
-consistency of user interface across discrete programs which provide
-a command line interface.
-
-Copyright @copyright{} 1988--2016 Free Software Foundation, Inc.
-
-@quotation
-Permission is granted to copy, distribute and/or modify this document
-under the terms of the GNU Free Documentation License, Version 1.3 or
-any later version published by the Free Software Foundation; with no
-Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
-A copy of the license is included in the section entitled
-``GNU Free Documentation License''.
-
-@end quotation
-@end copying
-
-@dircategory Libraries
-@direntry
-* RLuserman: (rluserman).       The GNU readline library User's Manual.
-@end direntry
-
-@titlepage
-@title GNU Readline Library User Interface
-@subtitle Edition @value{EDITION}, for @code{Readline Library} Version @value{VERSION}.
-@subtitle @value{UPDATED-MONTH}
-@author Chet Ramey, Case Western Reserve University
-@author Brian Fox, Free Software Foundation
-
-@page
-@vskip 0pt plus 1filll
-@insertcopying
-
-@end titlepage
-
-@contents
-
-@ifnottex
-@node Top
-@top GNU Readline Library
-
-This document describes the end user interface of the GNU Readline Library,
-a utility which aids in the consistency of user interface across discrete
-programs which provide a command line interface.
-The Readline home page is @url{http://www.gnu.org/software/readline/}.
-
-@menu
-* Command Line Editing::	   GNU Readline User's Manual.
-* GNU Free Documentation License::	License for copying this manual.
-@end menu
-@end ifnottex
-
-@include rluser.texi
-
-@node GNU Free Documentation License
-@appendix GNU Free Documentation License
-
-@include fdl.texi
-
-@bye