gnu-web-doc-update: VPATH builds
authorAkim Demaille <akim@lrde.epita.fr>
Thu, 7 Jun 2012 14:17:36 +0000 (16:17 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Tue, 12 Jun 2012 10:22:08 +0000 (12:22 +0200)
commitb630d56579abda426606c94747748982f30e4a6c
tree842b5d6a4e4caeef4e03ba026ac92a4aeec89a15
parent10128b6de9e71f24d53e081007b67ed2bcbcd33b
gnu-web-doc-update: VPATH builds

* build-aux/gnu-web-doc-update (--builddir): New option.
Revamp the handling of options.
Prefer $(...) to `...`.
Don't pass --tmpdir=. to mktemp, it is useless given that we specify
the template, and it is GNU mktemp specific.
Prefer set -e to long series of &&.
Restore the initial git branch, not "master".
Properly initialize submodules (don't rely only on bootstrap)
Do not reconfigure blindly, use config.status.
* top/README-release: Update instructions for gnu-web-doc-update.
ChangeLog
build-aux/gnu-web-doc-update
top/README-release