X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=build-aux%2Fgnu-web-doc-update;h=f6d0ee1f4e73eddb57195ac608e18d610f54badd;hb=6dc42e2d25df9c84b335062bad9beb0a7319647b;hp=e834dcf4657e1fae2b0c828410f023e7d26c871d;hpb=03bc12c7cb9ec501356fdbe9555b145f15e43ace;p=pspp

diff --git a/build-aux/gnu-web-doc-update b/build-aux/gnu-web-doc-update
index e834dcf465..f6d0ee1f4e 100755
--- a/build-aux/gnu-web-doc-update
+++ b/build-aux/gnu-web-doc-update
@@ -9,7 +9,7 @@
 
 VERSION=2009-07-21.16; # UTC
 
-# Copyright (C) 2009, 2010 Free Software Foundation, Inc.
+# Copyright (C) 2009-2011 Free Software Foundation, Inc.
 
 # This program is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by