summaryrefslogtreecommitdiff
path: root/build-aux/gendocs.sh
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2006-07-15 19:58:49 +0000
committerKarl Berry <karl@freefriends.org>2006-07-15 19:58:49 +0000
commit9db1065afcd341f3508c4bee8e8bf41a3345a57f (patch)
tree308ea3061a344eaf5ad6369dfc9b7ee147787b07 /build-aux/gendocs.sh
parentccfcf15e151bcecdc6b084daf4341e5cd0a6f800 (diff)
downloadgnulib-9db1065afcd341f3508c4bee8e8bf41a3345a57f.tar.gz
autoupdate
Diffstat (limited to 'build-aux/gendocs.sh')
-rwxr-xr-xbuild-aux/gendocs.sh17
1 files changed, 11 insertions, 6 deletions
diff --git a/build-aux/gendocs.sh b/build-aux/gendocs.sh
index 3a8065e553..27c0155e41 100755
--- a/build-aux/gendocs.sh
+++ b/build-aux/gendocs.sh
@@ -1,8 +1,9 @@
#!/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 2006-07-12 07:27:31 jas Exp $
-#
+
+scriptversion=2006-07-15.08
+
# Copyright (C) 2003, 2004, 2005, 2006 Free Software Foundation, Inc.
#
# This program is free software; you can redistribute it and/or modify
@@ -39,10 +40,7 @@ templateurl="http://savannah.gnu.org/cgi-bin/viewcvs/~checkout~/texinfo/texinfo/
: ${GENDOCS_TEMPLATE_DIR="."}
unset CDPATH
-rcs_revision='$Revision: 1.1 $'
-rcs_version=`set - $rcs_revision; echo $2`
-program=`echo "$0" | sed -e 's!.*/!!'`
-version="gendocs.sh $rcs_version
+version="gendocs.sh $scriptversion
Copyright (C) 2006 Free Software Foundation, Inc.
There is NO warranty. You may redistribute this software
@@ -283,3 +281,10 @@ sed \
$GENDOCS_TEMPLATE_DIR/gendocs_template >$outdir/index.html
echo "Done! See $outdir/ subdirectory for new files."
+
+# Local variables:
+# eval: (add-hook 'write-file-hooks 'time-stamp)
+# time-stamp-start: "scriptversion="
+# time-stamp-format: "%:y-%02m-%02d.%02H"
+# time-stamp-end: "$"
+# End: