Imported from ../bash-2.0.tar.gz.

[platform/upstream/bash.git] / lib / readline / doc / hist.texinfo

diff --git a/lib/readline/doc/hist.texinfo b/lib/readline/doc/hist.texinfo
index cc80efa..aa04553 100644 (file)
--- a/lib/readline/doc/hist.texinfo
+++ b/lib/readline/doc/hist.texinfo
@@ -7,20 +7,20 @@
 @setchapternewpage odd
 
 @ignore
-last change: Wed Jul 20 09:57:17 EDT 1994
+last change: Thu Mar 21 16:07:29 EST 1996
 @end ignore
 
-@set EDITION 2.0
-@set VERSION 2.0
-@set UPDATED 20 July 1994
-@set UPDATE-MONTH July 1994
+@set EDITION 2.1
+@set VERSION 2.1
+@set UPDATED 21 March 1996
+@set UPDATE-MONTH March 1996
 
 @ifinfo
 This document describes the GNU History library, a programming tool that
 provides a consistent user interface for recalling lines of previously
 typed input.
 
-Copyright (C) 1988, 1991 Free Software Foundation, Inc.
+Copyright (C) 1988, 1991, 1993, 1995, 1996 Free Software Foundation, Inc.
 
 Permission is granted to make and distribute verbatim copies of
 this manual provided the copyright notice and this permission notice
@@ -45,7 +45,6 @@ by the Foundation.
 @end ifinfo
 
 @titlepage
-@sp 10
 @title GNU History Library
 @subtitle Edition @value{EDITION}, for @code{History Library} Version @value{VERSION}.
 @subtitle @value{UPDATE-MONTH}