summaryrefslogtreecommitdiffhomepage
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rwxr-xr-xdoc/gendocs.sh4
-rw-r--r--doc/gendocs_template4
2 files changed, 4 insertions, 4 deletions
diff --git a/doc/gendocs.sh b/doc/gendocs.sh
index f233e1c..e0e5bdb 100755
--- a/doc/gendocs.sh
+++ b/doc/gendocs.sh
@@ -1,7 +1,7 @@
#!/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.1 2004/06/09 12:57:31 jao Exp $
+# $Id: gendocs.sh,v 1.2 2004/08/02 10:42:04 jao Exp $
#
# Copyright (C) 2003, 2004 Free Software Foundation, Inc.
#
@@ -39,7 +39,7 @@ templateurl="http://savannah.gnu.org/cgi-bin/viewcvs/texinfo/texinfo/util/gendoc
: ${GENDOCS_TEMPLATE_DIR="."}
unset CDPATH
-rcs_revision='$Revision: 1.1 $'
+rcs_revision='$Revision: 1.2 $'
rcs_version=`set - $rcs_revision; echo $2`
program=`echo $0 | sed -e 's!.*/!!'`
version="gendocs.sh $rcs_version
diff --git a/doc/gendocs_template b/doc/gendocs_template
index 5bf56ad..1c8ac5d 100644
--- a/doc/gendocs_template
+++ b/doc/gendocs_template
@@ -1,7 +1,7 @@
<?xml version="1.0" encoding="utf-8" ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
-<!-- $Id: gendocs_template,v 1.1 2004/06/09 12:57:31 jao Exp $ -->
+<!-- $Id: gendocs_template,v 1.2 2004/08/02 10:42:04 jao Exp $ -->
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
@@ -92,7 +92,7 @@ permitted in any medium, provided this notice is preserved.
<p>
Updated:
<!-- timestamp start -->
-$Date: 2004/06/09 12:57:31 $ $Author: jao $
+$Date: 2004/08/02 10:42:04 $ $Author: jao $
<!-- timestamp end -->
</p>
</div>