diff options
author | Jim Meyering <meyering@fb.com> | 2023-03-22 19:51:12 -0700 |
---|---|---|
committer | Jim Meyering <meyering@meta.com> | 2023-03-22 19:51:12 -0700 |
commit | 78f594f7ac9315c655f663976da1d42a4ccb9b21 (patch) | |
tree | 023a6039fb972c8f0b0255faa9a2029ddffcd5a8 | |
parent | f61570c0ef38744c93865172dcbac80e7d4e7b23 (diff) | |
download | gnulib-78f594f7ac9315c655f663976da1d42a4ccb9b21.tar.gz |
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
-rw-r--r-- | ChangeLog | 8 | ||||
-rwxr-xr-x | build-aux/gnu-web-doc-update | 4 |
2 files changed, 10 insertions, 2 deletions
@@ -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 ( |