diff options
author | Karl Berry <karl@freefriends.org> | 2006-07-15 19:58:49 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-07-15 19:58:49 +0000 |
commit | 9db1065afcd341f3508c4bee8e8bf41a3345a57f (patch) | |
tree | 308ea3061a344eaf5ad6369dfc9b7ee147787b07 /build-aux/gendocs.sh | |
parent | ccfcf15e151bcecdc6b084daf4341e5cd0a6f800 (diff) | |
download | gnulib-9db1065afcd341f3508c4bee8e8bf41a3345a57f.tar.gz |
autoupdate
Diffstat (limited to 'build-aux/gendocs.sh')
-rwxr-xr-x | build-aux/gendocs.sh | 17 |
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: |