[PATCH] Update savannah URLs of gnulib.git files

[Dmitry V. Levin]

Prefer cgit URLs over gitweb as the former are usually served faster:
$ time -f %e wget -q 
'https://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=blob_plain;f=build-aux/config.guess'
1.06
$ time -f %e wget -q 
'https://git.savannah.gnu.org/cgit/gnulib.git/plain/build-aux/config.guess'
0.73

This follows the corresponding change in config.guess and config.sub scripts:
https://git.savannah.gnu.org/cgit/config.git/commit/?id=888c8e3d5f7bf7464bba83aaf54304a956eefa60

* MODULES.html.sh: Prefer cgit URLs over gitweb.
* doc/gnulib.texi: Likewise.
---
 ChangeLog       | 6 ++++++
 MODULES.html.sh | 2 +-
 doc/gnulib.texi | 2 +-
 3 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 64be77149..2e7744c2b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2020-11-20  Dmitry V. Levin  <ldv@altlinux.org>
+
+       Update savannah URLs of gnulib.git files.
+       * MODULES.html.sh: Prefer cgit URLs over gitweb.
+       * doc/gnulib.texi: Likewise.
+
 2020-11-19  Akim Demaille  <akim@lrde.epita.fr>
 
        bitset: tests: exercise the stats too
diff --git a/MODULES.html.sh b/MODULES.html.sh
index 7e7cdae3e..e1d2d1c2f 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/cgit/gnulib.git/plain/'
       repo_url_suffix=''
       ;;
   esac
diff --git a/doc/gnulib.texi b/doc/gnulib.texi
index c4bf8b1c8..4879c8560 100644
--- a/doc/gnulib.texi
+++ b/doc/gnulib.texi
@@ -6839,7 +6839,7 @@ look as follows:
 @smallexample
 for file in config.guess config.sub; do
   echo "$0: getting $file..."
-  wget -q --timeout=5 -O build-aux/$file.tmp 
"https://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=blob_plain;f=build-aux/$@{file@};hb=HEAD";
 \
+  wget -q --timeout=5 -O build-aux/$file.tmp 
"https://git.savannah.gnu.org/cgit/gnulib.git/plain/build-aux/$@{file@}"; \
     && mv build-aux/$file.tmp build-aux/$file \
     && chmod a+x build-aux/$file
   retval=$?
-- 
ldv