+2021-01-09 Darshit Shah <darnir@gnu.org>
+
+ 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.
+
2021-01-09 Bruno Haible <bruno@clisp.org>
exp* tests: Work around clang 6.0.1 optimization bugs on x86.
# 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.
-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
builddir=.
dryrun=
rm_stale='echo'
+cvs_user="$USER"
while test $# != 0
do
# Handle --option=value by splitting apart and putting back on argv.
-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
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
(