lib/readline/doc/rluserman.texi

   1 \input texinfo    @c -*-texinfo-*-
   2 @comment %**start of header (This is for running Texinfo on a region.)
   3 @setfilename rluserman.info
   4 @settitle GNU Readline Library
   5 @comment %**end of header (This is for running Texinfo on a region.)
   6
   7 @include version.texi
   8
   9 @copying
  10 This manual describes the end user interface of the GNU Readline Library
  11 (version @value{VERSION}, @value{UPDATED}), a library which aids in the
  12 consistency of user interface across discrete programs which provide
  13 a command line interface.
  14
  15 Copyright @copyright{} 1988--2012 Free Software Foundation, Inc.
  16
  17 Permission is granted to make and distribute verbatim copies of
  18 this manual provided the copyright notice and this permission notice
  19 are preserved on all copies.
  20
  21 @quotation
  22 Permission is granted to copy, distribute and/or modify this document
  23 under the terms of the GNU Free Documentation License, Version 1.3 or
  24 any later version published by the Free Software Foundation; with no
  25 Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.
  26 A copy of the license is included in the section entitled
  27 ``GNU Free Documentation License''.
  28
  29 @end quotation
  30 @end copying
  31
  32 @dircategory Libraries
  33 @direntry
  34 * RLuserman: (rluserman).       The GNU readline library User's Manual.
  35 @end direntry
  36
  37 @titlepage
  38 @title GNU Readline Library User Interface
  39 @subtitle Edition @value{EDITION}, for @code{Readline Library} Version @value{VERSION}.
  40 @subtitle @value{UPDATED-MONTH}
  41 @author Chet Ramey, Case Western Reserve University
  42 @author Brian Fox, Free Software Foundation
  43
  44 @page
  45 @vskip 0pt plus 1filll
  46 @insertcopying
  47
  48 @sp 1
  49 Published by the Free Software Foundation @*
  50 59 Temple Place, Suite 330, @*
  51 Boston, MA 02111-1307 @*
  52 USA @*
  53
  54 @end titlepage
  55
  56 @contents
  57
  58 @ifnottex
  59 @node Top
  60 @top GNU Readline Library
  61
  62 This document describes the end user interface of the GNU Readline Library,
  63 a utility which aids in the consistency of user interface across discrete
  64 programs which provide a command line interface.
  65
  66 @menu
  67 * Command Line Editing::           GNU Readline User's Manual.
  68 * GNU Free Documentation License::      License for copying this manual.
  69 @end menu
  70 @end ifnottex
  71
  72 @include rluser.texi
  73
  74 @node GNU Free Documentation License
  75 @appendix GNU Free Documentation License
  76
  77 @include fdl.texi
  78
  79 @bye