From 0fe04a57a1f4476e6d893ddee973805b15ca9338 Mon Sep 17 00:00:00 2001 From: Darshit Shah Date: Sat, 9 Jan 2021 11:42:26 +0100 Subject: [PATCH] Allow setting CVS username for gnu-web-doc-update * build-aux/gnu-web-doc-update: Introduce new option --user to set the name of the user on Savannah, when it doesn't match $USER --- build-aux/gnu-web-doc-update | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/build-aux/gnu-web-doc-update b/build-aux/gnu-web-doc-update index e7965e8aa..cc553f9a3 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=2018-03-07.03; # UTC +VERSION=2021-01-09.09; # UTC # Copyright (C) 2009-2021 Free Software Foundation, Inc. @@ -41,6 +41,7 @@ Options: -C, --builddir=DIR location of (configured) Makefile (default: .) -n, --dry-run don't actually commit anything -m, --mirror remove out of date files from document server + -u, --user the name of the CVS user on Savannah --help print this help, then exit --version print version number, then exit @@ -109,6 +110,7 @@ find_tool XARGS gxargs xargs builddir=. dryrun= rm_stale='echo' +cvs_user="$USER" while test $# != 0 do # Handle --option=value by splitting apart and putting back on argv. @@ -126,6 +128,7 @@ do -C|--builddir) shift; builddir=$1; shift ;; -n|--dry-run) dryrun=echo; shift;; -m|--mirror) rm_stale=''; shift;; + -u|--user) shift; cvs_user=$1; shift ;; --*) die "unrecognized option: $1";; *) break;; esac @@ -172,7 +175,7 @@ set +e tmp=$(mktemp -d web-doc-update.XXXXXX) || exit 1 ( cd $tmp \ - && $CVS -d $USER@cvs.sv.gnu.org:/webcvs/$pkg co $pkg ) + && $CVS -d $cvs_user@cvs.sv.gnu.org:/webcvs/$pkg co $pkg ) $RSYNC -avP "$builddir"/doc/manual/ $tmp/$pkg/manual ( -- 2.30.0