From 02287d59a1923059f896bb71d5cd00de6d0acff2 Mon Sep 17 00:00:00 2001 From: Bruno Haible <bruno@clisp.org> Date: Mon, 17 Apr 2023 13:07:28 +0200 Subject: [PATCH] MODULES.html.sh: Avoid a HTTP redirect. * MODULES.html.sh (repo_url_prefix): Use the unabbreviated name of the git repository server. --- ChangeLog | 6 ++++++ MODULES.html.sh | 2 +- 2 files changed, 7 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index e190bd90d3..796314bd3b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2023-04-17 Bruno Haible <bruno@clisp.org> + + MODULES.html.sh: Avoid a HTTP redirect. + * MODULES.html.sh (repo_url_prefix): Use the unabbreviated name of the + git repository server. + 2023-04-16 Bruno Haible <bruno@clisp.org> year2038: Add tests. diff --git a/MODULES.html.sh b/MODULES.html.sh index 2eeffb690f..0f8294ed56 100755 --- a/MODULES.html.sh +++ b/MODULES.html.sh @@ -30,7 +30,7 @@ if test $# != 0; then case "$1" in --git-urls) # Generate URLs to the official gnulib git repository. - repo_url_prefix='https://git.sv.gnu.org/gitweb/?p=gnulib.git;a=blob_plain;f=' + repo_url_prefix='https://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=blob_plain;f=' repo_url_suffix='' ;; esac -- 2.39.5