X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Ferror.texi;h=ee6611a44f0df7569218e69b055dc5b826824320;hb=3a3fe58b91a00ba3cafd960a2e2355c842448e47;hp=24ab0a05a47c8f8aaccf9fa5a87290ffc5f6707f;hpb=a0bdb062d720c5d3092e4974d0d31a71df302fb4;p=pspp

diff --git a/doc/error.texi b/doc/error.texi
index 24ab0a05a4..ee6611a44f 100644
--- a/doc/error.texi
+++ b/doc/error.texi
@@ -4,10 +4,10 @@
 @findex progname
 @vindex program_name
 
-@c Copyright (C) 2007 Free Software Foundation, Inc.
+@c Copyright (C) 2007, 2009-2011 Free Software Foundation, Inc.
 
 @c Permission is granted to copy, distribute and/or modify this document
-@c under the terms of the GNU Free Documentation License, Version 1.2 or
+@c under the terms of the GNU Free Documentation License, Version 1.3 or
 @c any later version published by the Free Software Foundation; with no
 @c Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
 @c Texts.  A copy of the license is included in the ``GNU Free