projects
/
gnulib.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
gnu-web-doc-update: correct --help output
[gnulib.git]
/
build-aux
/
gendocs.sh
diff --git
a/build-aux/gendocs.sh
b/build-aux/gendocs.sh
old mode 100755
(executable)
new mode 100644
(file)
index
a1ed4b4
..
992d9fc
--- a/
build-aux/gendocs.sh
+++ b/
build-aux/gendocs.sh
@@
-2,15
+2,15
@@
# gendocs.sh -- generate a GNU manual in many formats. This script is
# mentioned in maintain.texi. See the help message below for usage details.
# 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=2009-0
4-08.09
+scriptversion=2009-0
9-09.22
# Copyright 2003, 2004, 2005, 2006, 2007, 2008, 2009
# Free Software Foundation, Inc.
#
# Copyright 2003, 2004, 2005, 2006, 2007, 2008, 2009
# Free Software Foundation, Inc.
#
-# This program is free software
;
you can redistribute it and/or modify
+# 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
# 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.
+# the Free Software Foundation; either version 3 of the License,
or
+# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of