1 files changed, 1 insertions, 1 deletions
diff --git a/doc/gendocs.sh b/doc/gendocs.sh
index e72f15e..ace6b37 100755
--- a/doc/gendocs.sh
+++ b/doc/gendocs.sh
@@ -1,13 +1,13 @@
 #!/bin/sh -e
 # 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=2015-02-28.17
-# Copyright 2003-2013, 2015 Free Software Foundation, Inc.
+# Copyright 2003-2013, 2015, 2017 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
 # the Free Software Foundation; either version 3 of the License, or
 # (at your option) any later version.
 #

diff --git a/doc/gendocs.sh b/doc/gendocs.sh index e72f15e..ace6b37 100755 --- a/doc/gendocs.sh +++ b/doc/gendocs.sh
@@ -1,13 +1,13 @@
1	#!/bin/sh -e	1	#!/bin/sh -e
2	# gendocs.sh -- generate a GNU manual in many formats. This script is	2	# gendocs.sh -- generate a GNU manual in many formats. This script is
3	# mentioned in maintain.texi. See the help message below for usage details.	3	# mentioned in maintain.texi. See the help message below for usage details.
4		4
5	scriptversion=2015-02-28.17	5	scriptversion=2015-02-28.17
6		6
7	# Copyright 2003-2013, 2015 Free Software Foundation, Inc.	7	# Copyright 2003-2013, 2015, 2017 Free Software Foundation, Inc.
8	#	8	#
9	# This program is free software: you can redistribute it and/or modify	9	# This program is free software: you can redistribute it and/or modify
10	# it under the terms of the GNU General Public License as published by	10	# it under the terms of the GNU General Public License as published by
11	# the Free Software Foundation; either version 3 of the License, or	11	# the Free Software Foundation; either version 3 of the License, or
12	# (at your option) any later version.	12	# (at your option) any later version.
13	#	13	#