From ca35d468121a7ec60162155f9c3395068ca323d1 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Wed, 13 Sep 2017 00:48:18 -0700 Subject: all: prefer https: URLs --- build-aux/gnu-web-doc-update | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'build-aux/gnu-web-doc-update') diff --git a/build-aux/gnu-web-doc-update b/build-aux/gnu-web-doc-update index a8ed60952d..4bfc9e904e 100755 --- a/build-aux/gnu-web-doc-update +++ b/build-aux/gnu-web-doc-update @@ -1,8 +1,8 @@ #!/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=2017-09-13.06; # UTC # Copyright (C) 2009-2017 Free Software Foundation, Inc. @@ -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 . +# along with this program. If not, see . 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 < +License GPLv3+: GNU GPL version 3 or later This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. EOF -- cgit v1.2.1