diff options
author | Sergey Poznyakoff <gray@gnu.org> | 2020-04-17 08:58:06 +0300 |
---|---|---|
committer | Sergey Poznyakoff <gray@gnu.org> | 2020-04-17 08:58:06 +0300 |
commit | 1047ca368eaf1c0f1cda21c9b0ab3c212a3d9379 (patch) | |
tree | ea96a861720f9d365b458db425bf20d734426d6d /doc | |
parent | a6cc8f5fcbcbf4c707149940de2ee9a33220c34d (diff) | |
download | wydawca-1047ca368eaf1c0f1cda21c9b0ab3c212a3d9379.tar.gz wydawca-1047ca368eaf1c0f1cda21c9b0ab3c212a3d9379.tar.bz2 |
Minor changes
Diffstat (limited to 'doc')
-rwxr-xr-x | doc/gendocs.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/gendocs.sh b/doc/gendocs.sh index 8ac3a06..a457767 100755 --- a/doc/gendocs.sh +++ b/doc/gendocs.sh @@ -2,7 +2,7 @@ # gendocs.sh -- generate a GNU manual in many formats. This script is # mentioned in maintain.texi. See the help message below for usage details. -scriptversion=2015-02-28.17 +scriptversion=2020-04-17.08 # Copyright 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012, 2013 # Free Software Foundation, Inc. @@ -483,7 +483,7 @@ $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) +# eval: (add-hook 'write-file-functions 'time-stamp) # time-stamp-start: "scriptversion=" # time-stamp-format: "%:y-%02m-%02d.%02H" # time-stamp-end: "$" |