diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2006-03-24 22:54:41 +0000 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2006-03-24 22:54:41 +0000 |
commit | c7abe91f8b134cbd73658e10993d1dffb44d942d (patch) | |
tree | 98d45116802a5f50bc3e4640fcd0b32499f95c9e /doc/gendocs.sh | |
parent | 3010d483748f058024c623fdfea689429e87bf5c (diff) | |
download | mdk-c7abe91f8b134cbd73658e10993d1dffb44d942d.tar.gz mdk-c7abe91f8b134cbd73658e10993d1dffb44d942d.tar.bz2 |
CVS $Id$ tags removed.
git-archimport-id: mdk@sv.gnu.org/mdk--devel--1--patch-7
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 |