]> Savannah Git Hosting - gnulib.git/commitdiff
gnu-web-doc-update: don't use host alias, cvs.sv.gnu.org
authorJim Meyering <meyering@fb.com>
Thu, 23 Mar 2023 02:51:12 +0000 (19:51 -0700)
committerJim Meyering <meyering@meta.com>
Thu, 23 Mar 2023 02:51:12 +0000 (19:51 -0700)
* 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
build-aux/gnu-web-doc-update

index a3b9b8879546df74ef6ef4a705b8ab37b78267e5..ac12201885e500628228ee78d5dc79f1f1215909 100644 (file)
--- 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.
index 2c6e451eb5097309e7bf0dd5fd0eaaaeedc21881..a804031a4352d456cc1a62dd2e62c74ac522b05d 100755 (executable)
@@ -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
 
 (