diff options
| author | Bruno Haible <bruno@clisp.org> | 2023-03-22 06:43:02 +0100 |
|---|---|---|
| committer | Bruno Haible <bruno@clisp.org> | 2023-03-22 06:43:02 +0100 |
| commit | e979787d09c8b6611a2a433725b590eaae7ca6f5 (patch) | |
| tree | f93e293924256f28b7dd5ad484dfeb9b384f3993 /build-aux | |
| parent | c9e246f596836d1eb57120a2d3b65687170356a1 (diff) | |
| download | gnulib-e979787d09c8b6611a2a433725b590eaae7ca6f5.tar.gz | |
gnu-web-doc-update: Make it work for the first upload of a manual.
Reported by Reuben Thomas <rrt@sc3d.org> in
<https://lists.gnu.org/archive/html/bug-gnulib/2023-03/msg00066.html>.
* build-aux/gnu-web-doc-update: Put the 'manual' directory under version
control if it is not yet.
Diffstat (limited to 'build-aux')
| -rwxr-xr-x | build-aux/gnu-web-doc-update | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/build-aux/gnu-web-doc-update b/build-aux/gnu-web-doc-update index c968b1dcda..2c6e451eb5 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=2022-01-27.18; # UTC +VERSION=2023-03-22.05; # UTC # Copyright (C) 2009-2023 Free Software Foundation, Inc. @@ -179,6 +179,9 @@ tmp=$(mktemp -d web-doc-update.XXXXXX) || exit 1 $RSYNC -avP "$builddir"/doc/manual/ $tmp/$pkg/manual ( + cd $tmp/$pkg + test -d manual/CVS || $dryrun $CVS add -ko manual + cd $tmp/$pkg/manual # Add all the files. This is simpler than trying to add only the |