diff --git a/doc/source-highlight-lib.texinfo b/doc/source-highlight-lib.texinfo
index 9df2957..68b8abe 100644
--- a/doc/source-highlight-lib.texinfo
+++ b/doc/source-highlight-lib.texinfo
@@ -64,14 +64,9 @@ Copyright @copyright{} 2005-2008 Lorenzo Bettini, @value{myhomepage}.
 Permission is granted to copy, distribute and/or modify this document
 under the terms of the GNU Free Documentation License, Version 1.1 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 have freedom to copy and modify
-this GNU Manual, like GNU software.  Copies published by the Free
-Software Foundation raise funds for GNU development.''
+Invariant Sections, with 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
 
diff --git a/doc/source-highlight.texinfo b/doc/source-highlight.texinfo
index 03a6ccc..9ece0f3 100644
--- a/doc/source-highlight.texinfo
+++ b/doc/source-highlight.texinfo
@@ -25,14 +25,9 @@ Copyright @copyright{} 2005-2008 Lorenzo Bettini, @value{myhomepage}.
 Permission is granted to copy, distribute and/or modify this document
 under the terms of the GNU Free Documentation License, Version 1.1 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 have freedom to copy and modify
-this GNU Manual, like GNU software.  Copies published by the Free
-Software Foundation raise funds for GNU development.''
+Invariant Sections, with 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
 
diff --git a/doc/version-lib.texi b/doc/version-lib.texi
index a3ca307..8677a3c 100644
--- a/doc/version-lib.texi
+++ b/doc/version-lib.texi
@@ -1,4 +1,4 @@
-@set UPDATED 16 December 2011
-@set UPDATED-MONTH December 2011
+@set UPDATED 31 December 2012
+@set UPDATED-MONTH December 2012
 @set EDITION 3.1.8
 @set VERSION 3.1.8
diff --git a/doc/version.texi b/doc/version.texi
index 184124e..8677a3c 100644
--- a/doc/version.texi
+++ b/doc/version.texi
@@ -1,4 +1,4 @@
-@set UPDATED 14 April 2012
-@set UPDATED-MONTH April 2012
+@set UPDATED 31 December 2012
+@set UPDATED-MONTH December 2012
 @set EDITION 3.1.8
 @set VERSION 3.1.8