diff options
Diffstat (limited to 'lib/readline/doc/history.texi')
| -rw-r--r-- | lib/readline/doc/history.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/readline/doc/history.texi b/lib/readline/doc/history.texi index f6a3d20..1af40c7 100644 --- a/lib/readline/doc/history.texi +++ b/lib/readline/doc/history.texi @@ -14,7 +14,7 @@ This document describes the GNU History library a programming tool that provides a consistent user interface for recalling lines of previously typed input. -Copyright @copyright{} 1988-2004 Free Software Foundation, Inc. +Copyright @copyright{} 1988-2006 Free Software Foundation, Inc. Permission is granted to make and distribute verbatim copies of this manual provided the copyright notice and this permission notice @@ -22,7 +22,7 @@ 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.1 or +under the terms of the GNU Free Documentation License, Version 1.2 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 |