summaryrefslogtreecommitdiffhomepage
path: root/doc/gendocs.sh
diff options
context:
space:
mode:
authorJose Antonio Ortega Ruiz <jao@gnu.org>2006-03-24 22:54:41 +0000
committerJose Antonio Ortega Ruiz <jao@gnu.org>2006-03-24 22:54:41 +0000
commitc7abe91f8b134cbd73658e10993d1dffb44d942d (patch)
tree98d45116802a5f50bc3e4640fcd0b32499f95c9e /doc/gendocs.sh
parent3010d483748f058024c623fdfea689429e87bf5c (diff)
downloadmdk-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-xdoc/gendocs.sh5
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