diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-08-02 10:42:04 +0000 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2004-08-02 10:42:04 +0000 |
| commit | ae9ae3c8f2f2c738f498ef3748bda51a9580e81a (patch) | |
| tree | 37df1afd1b96d273c12d6faf6b0cdfdd147b65b3 | |
| parent | 15903e6069739bcd41c4445e903616cea98cfe47 (diff) | |
| download | mdk-ae9ae3c8f2f2c738f498ef3748bda51a9580e81a.tar.gz mdk-ae9ae3c8f2f2c738f498ef3748bda51a9580e81a.tar.bz2 | |
update from savannah
| -rwxr-xr-x | doc/gendocs.sh | 4 | ||||
| -rw-r--r-- | doc/gendocs_template | 4 |
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> |