]> Savannah Git Hosting - gnulib.git/commitdiff
gnu-web-doc-update: Make it work for the first upload of a manual.
authorBruno Haible <bruno@clisp.org>
Wed, 22 Mar 2023 05:43:02 +0000 (06:43 +0100)
committerBruno Haible <bruno@clisp.org>
Wed, 22 Mar 2023 05:43:02 +0000 (06:43 +0100)
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.

ChangeLog
build-aux/gnu-web-doc-update

index 33d54f72027949d02fb074a598701c942933995f..5b9a048b9334ff088079ae9426ccb2853c98ed27 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+2023-03-22  Bruno Haible  <bruno@clisp.org>
+
+       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.
+
 2023-03-21  Bruno Haible  <bruno@clisp.org>
 
        unistdio/u*-vasnprintf: Fix conversion of %Id directive result.
index c968b1dcda58f111b1afedc02f4844f3693d25d4..2c6e451eb5097309e7bf0dd5fd0eaaaeedc21881 100755 (executable)
@@ -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