]> Savannah Git Hosting - gnulib.git/commit
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)
commit78f594f7ac9315c655f663976da1d42a4ccb9b21
tree023a6039fb972c8f0b0255faa9a2029ddffcd5a8
parentf61570c0ef38744c93865172dcbac80e7d4e7b23
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
build-aux/gnu-web-doc-update