diff options
Diffstat (limited to 'readline/doc/rlman.texi')
| -rw-r--r-- | readline/doc/rlman.texi | 27 |
1 files changed, 20 insertions, 7 deletions
diff --git a/readline/doc/rlman.texi b/readline/doc/rlman.texi index 17a8292b6a..1c9ac13338 100644 --- a/readline/doc/rlman.texi +++ b/readline/doc/rlman.texi @@ -2,26 +2,34 @@ @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--2014 Free Software Foundation, Inc. +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. @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''. +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.'' @end quotation @end copying @@ -42,6 +50,12 @@ A copy of the license is included in the section entitled @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 @@ -53,7 +67,6 @@ A copy of the license is included in the section entitled 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. |