# HG changeset patch
# User Paul Eggert
# Date 1420154382 28800
# Node ID 466a7aa4ba59d791b947342b42e6a878a9f69892
# Parent 7e89853fd5c0ecae113568c177d7347f84491294
gendocs: copyright date and version fix
Reported by Karl Berry in:
http://lists.gnu.org/archive/html/bug-gnulib/2015-01/msg00002.html
* build-aux/gendocs.sh, doc/gendocs_template, doc/gendocs_template_min:
Fix copyright date.
* build-aux/gendocs.sh (scriptversion): Update.
diff --git a/ChangeLog b/ChangeLog
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,12 @@
+2015-01-01 Paul Eggert
+
+ gendocs: copyright date and version fix
+ Reported by Karl Berry in:
+ http://lists.gnu.org/archive/html/bug-gnulib/2015-01/msg00002.html
+ * build-aux/gendocs.sh, doc/gendocs_template, doc/gendocs_template_min:
+ Fix copyright date.
+ * build-aux/gendocs.sh (scriptversion): Update.
+
2015-01-01 Karl Berry
* doc/install.texi,
diff --git a/build-aux/gendocs.sh b/build-aux/gendocs.sh
--- a/build-aux/gendocs.sh
+++ b/build-aux/gendocs.sh
@@ -2,9 +2,9 @@
# gendocs.sh -- generate a GNU manual in many formats. This script is
# mentioned in maintain.texi. See the help message below for usage details.
-scriptversion=2014-05-01.10
+scriptversion=2015-01-01.15
-# Copyright 2003-2013, 2015 Free Software Foundation, Inc.
+# Copyright 2003-2015 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
diff --git a/doc/gendocs_template b/doc/gendocs_template
--- a/doc/gendocs_template
+++ b/doc/gendocs_template
@@ -77,7 +77,7 @@
to <%%EMAIL%%>.
-Copyright © 2014-2015 Free Software Foundation, Inc.
+Copyright © 2015 Free Software Foundation, Inc.
This page is licensed under a Creative
diff --git a/doc/gendocs_template_min b/doc/gendocs_template_min
--- a/doc/gendocs_template_min
+++ b/doc/gendocs_template_min
@@ -80,7 +80,7 @@
to <%%EMAIL%%>.
-Copyright © 2014-2015 Free Software Foundation, Inc.
+Copyright © 2015 Free Software Foundation, Inc.
This page is licensed under a Creative