[PATCH] doc: update main copyright year

[Paul Eggert]

The automated script missed this one.

* doc/gnulib.texi: Update copyright date.
---
 ChangeLog       | 3 +++
 doc/gnulib.texi | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 0e31877..2d4793d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2013-01-06  Paul Eggert  <address@hidden>
 
+       doc: update main copyright year
+       * doc/gnulib.texi: Update copyright date.
+
        doc: improve ISO 8601 discussion
        * doc/parse-datetime.texi (Combined date and time of day items):
        Specify more carefully what formats are supported and what is
diff --git a/doc/gnulib.texi b/doc/gnulib.texi
index b492b76..b8d9559 100644
--- a/doc/gnulib.texi
+++ b/doc/gnulib.texi
@@ -23,7 +23,7 @@ This manual is for GNU Gnulib (updated @value{UPDATED}),
 which is a library of common routines intended to be shared at the
 source level.
 
-Copyright @copyright{} 2004--2012 Free Software Foundation, Inc.
+Copyright @copyright{} 2004--2013 Free Software Foundation, Inc.
 
 Permission is granted to copy, distribute and/or modify this document
 under the terms of the GNU Free Documentation License, Version 1.3 or
-- 
1.7.11.7