diff options
author | Clint Adams <clint@debian.org> | 2018-07-04 13:05:31 -0400 |
---|---|---|
committer | Clint Adams <clint@debian.org> | 2018-07-04 13:05:31 -0400 |
commit | 117dcd10d7e04d0dda7668518b8d085027f4d705 (patch) | |
tree | f9612d6268ab16555fb21be04bc7594f9eb6ce4f /build-aux/gnu-web-doc-update | |
parent | 1c0d840cad3dc7c951a86c9c128a721e9ebcd2cf (diff) |
New upstream version 4.5
Diffstat (limited to 'build-aux/gnu-web-doc-update')
-rwxr-xr-x | build-aux/gnu-web-doc-update | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/build-aux/gnu-web-doc-update b/build-aux/gnu-web-doc-update index a8ed609..356c561 100755 --- a/build-aux/gnu-web-doc-update +++ b/build-aux/gnu-web-doc-update @@ -1,10 +1,10 @@ #!/bin/sh # Run this after each non-alpha release, to update the web documentation at -# http://www.gnu.org/software/$pkg/manual/ +# https://www.gnu.org/software/$pkg/manual/ -VERSION=2016-01-12.23; # UTC +VERSION=2018-03-07.03; # UTC -# Copyright (C) 2009-2017 Free Software Foundation, Inc. +# Copyright (C) 2009-2018 Free Software Foundation, Inc. # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -17,7 +17,7 @@ VERSION=2016-01-12.23; # UTC # GNU General Public License for more details. # You should have received a copy of the GNU General Public License -# along with this program. If not, see <http://www.gnu.org/licenses/>. +# along with this program. If not, see <https://www.gnu.org/licenses/>. ME=$(basename "$0") warn() { printf '%s: %s\n' "$ME" "$*" >&2; } @@ -30,7 +30,7 @@ Usage: $ME Run this script from top_srcdir (no arguments) after each non-alpha release, to update the web documentation at -http://www.gnu.org/software/\$pkg/manual/ +https://www.gnu.org/software/\$pkg/manual/ This script assumes you're using git for revision control, and requires a .prev-version file as well as a Makefile, from which it @@ -55,7 +55,7 @@ version() cat <<EOF $ME $VERSION Copyright (C) $year Free Software Foundation, Inc, -License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html> +License GPLv3+: GNU GPL version 3 or later <https://gnu.org/licenses/gpl.html> This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. EOF @@ -202,7 +202,7 @@ $RSYNC -avP "$builddir"/doc/manual/ $tmp/$pkg/manual ) # Local variables: -# eval: (add-hook 'write-file-hooks 'time-stamp) +# eval: (add-hook 'before-save-hook 'time-stamp) # time-stamp-start: "VERSION=" # time-stamp-format: "%:y-%02m-%02d.%02H" # time-stamp-time-zone: "UTC0" |