diff options
Diffstat (limited to 'doc/gendocs.sh')
| -rwxr-xr-x | doc/gendocs.sh | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/doc/gendocs.sh b/doc/gendocs.sh index 7b8a3ca..f8c2de8 100755 --- a/doc/gendocs.sh +++ b/doc/gendocs.sh @@ -1,9 +1,8 @@ #!/bin/sh # gendocs.sh -- generate a GNU manual in many formats. This script is # mentioned in maintain.texi. See the help message below for usage details. -# $Id: gendocs.sh,v 1.4 2005/09/20 20:18:58 jao Exp $ -# -# Copyright (C) 2003, 2004, 2005 Free Software Foundation, Inc. +# +# Copyright (C) 2003, 2004, 2005, 2006 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 |