changeset 6964:bd3477a87e6e

autoupdate
author Karl Berry <karl@freefriends.org>
date Sat, 15 Jul 2006 19:58:49 +0000
parents 3eaadc954ec8
children 536091c3f90d
files build-aux/gendocs.sh doc/gendocs_template
diffstat 2 files changed, 12 insertions(+), 14 deletions(-) [+]
line wrap: on
line diff
--- 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 @@
 : ${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 @@
 $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:
--- a/doc/gendocs_template
+++ b/doc/gendocs_template
@@ -1,7 +1,6 @@
 <?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 2006-07-12 07:27:31 jas Exp $ -->
 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
 
 <head>
@@ -81,19 +80,13 @@
 </p>
 
 <p>
-Copyright (C) 2004 Free Software Foundation, Inc.,
+Copyright (C) 2006 Free Software Foundation, Inc.,
 51 Franklin Street, Fifth Floor, Boston, MA 02111, USA
 <br />
 Verbatim copying and distribution of this entire article is
 permitted in any medium, provided this notice is preserved.
 </p>
 
-<p>
-Updated:
-<!-- timestamp start -->
-$Date: 2006-07-12 07:27:31 $ $Author: jas $
-<!-- timestamp end -->
-</p>
 </div>
 
 </body>