]> Savannah Git Hosting - gnulib.git/commit
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)
commite979787d09c8b6611a2a433725b590eaae7ca6f5
treef93e293924256f28b7dd5ad484dfeb9b384f3993
parentc9e246f596836d1eb57120a2d3b65687170356a1
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.
ChangeLog
build-aux/gnu-web-doc-update