Bash-4.3 distribution sources and documentation

[platform/upstream/bash.git] / lib / readline / doc / rlman.texi

diff --git a/lib/readline/doc/rlman.texi b/lib/readline/doc/rlman.texi
index 1c9ac13..17a8292 100644 (file)
--- a/lib/readline/doc/rlman.texi
+++ b/lib/readline/doc/rlman.texi
@@ -2,34 +2,26 @@
 @comment %**start of header (This is for running Texinfo on a region.)
 @setfilename readline.info
 @settitle GNU Readline Library
+@include version.texi
+
 @comment %**end of header (This is for running Texinfo on a region.)
 @synindex vr fn
 
-@include version.texi
-
 @copying
 This manual describes 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--2011 Free Software Foundation, Inc.
-
-Permission is granted to make and distribute verbatim copies of
-this manual provided the copyright notice and this permission notice
-are preserved on all copies.
+Copyright @copyright{} 1988--2014 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, with the Front-Cover texts being ``A GNU Manual'',
-and with the Back-Cover Texts as in (a) below.  A copy of the license is
-included in the section entitled ``GNU Free Documentation License''.
-
-(a) The FSF's Back-Cover Text is: You are free to copy and modify
-this GNU manual.  Buying copies from GNU Press supports the FSF in
-developing GNU and promoting software freedom.''
+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
@@ -50,12 +42,6 @@ developing GNU and promoting software freedom.''
 @vskip 0pt plus 1filll
 @insertcopying
 
-@sp 1
-Published by the Free Software Foundation @*
-59 Temple Place, Suite 330, @*
-Boston, MA 02111-1307 @*
-USA @*
-
 @end titlepage
 
 @contents
@@ -67,6 +53,7 @@ USA @*
 This document describes 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.