[PATCH] gnu-web-doc-update: don't use host alias, cvs.sv.gnu.org

[Jim Meyering]

The usual post-release command to update grep-3.10's web docs
failed for me.  This fixed it.

>From 78f594f7ac9315c655f663976da1d42a4ccb9b21 Mon Sep 17 00:00:00 2001
From: Jim Meyering <meyering@fb.com>
Date: Wed, 22 Mar 2023 19:51:12 -0700
Subject: [PATCH] gnu-web-doc-update: don't use host alias, cvs.sv.gnu.org

* build-aux/gnu-web-doc-update: Use hostname cvs.savannah.gnu.org,
not cvs.sv.gnu.org. Using the shorter alias would elicit this:
  $ pkg=grep ; cvs -d $USER@cvs.sv.gnu.org:/webcvs/$pkg co $pkg
  Bad server host key: Invalid key length
---
 ChangeLog                    | 8 ++++++++
 build-aux/gnu-web-doc-update | 4 ++--
 2 files changed, 10 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index a3b9b88795..ac12201885 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+2023-03-22  Jim Meyering  <meyering@fb.com>
+
+       gnu-web-doc-update: don't use host alias, cvs.sv.gnu.org
+       * build-aux/gnu-web-doc-update: Use hostname cvs.savannah.gnu.org,
+       not cvs.sv.gnu.org. Using the shorter alias would elicit this:
+         $ pkg=grep ; cvs -d $USER@cvs.sv.gnu.org:/webcvs/$pkg co $pkg
+         Bad server host key: Invalid key length
+
 2023-03-22  Bruno Haible  <bruno@clisp.org>

        *printf-posix: Fix implementation of %b directive.
diff --git a/build-aux/gnu-web-doc-update b/build-aux/gnu-web-doc-update
index 2c6e451eb5..a804031a43 100755
--- a/build-aux/gnu-web-doc-update
+++ b/build-aux/gnu-web-doc-update
@@ -2,7 +2,7 @@
 # Run this after each non-alpha release, to update the web documentation at
 # https://www.gnu.org/software/$pkg/manual/

-VERSION=2023-03-22.05; # UTC
+VERSION=2023-03-23.02; # UTC

 # Copyright (C) 2009-2023 Free Software Foundation, Inc.

@@ -175,7 +175,7 @@ set +e

 tmp=$(mktemp -d web-doc-update.XXXXXX) || exit 1
 ( cd $tmp \
-    && $CVS -d $cvs_user@cvs.sv.gnu.org:/webcvs/$pkg co $pkg )
+    && $CVS -d $cvs_user@cvs.savannah.gnu.org:/webcvs/$pkg co $pkg )
 $RSYNC -avP "$builddir"/doc/manual/ $tmp/$pkg/manual

 (
-- 
2.40.0.rc2