]> git.ipfire.org Git - thirdparty/gnulib.git/commit
projects / thirdparty / gnulib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c9e246f) | patch
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
treef93e293924256f28b7dd5ad484dfeb9b384f3993tree | snapshot
parentc9e246f596836d1eb57120a2d3b65687170356a1commit | diff
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 diff | blob | blame | history
build-aux/gnu-web-doc-update diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/gnulib.git