]> 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)
committerBruno Haible <bruno@clisp.org>
Tue, 28 Mar 2023 23:15:31 +0000 (01:15 +0200)
commit4f053aa790c1936f43e081e67d0b22332bdc7b1b
tree285e7386f3d5900587ee48e12683bf8b0e629110
parent815d79769560edf3212ea755a24011b0bd41cad3
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