Le 11 juin 2012 à 14:11, Jim Meyering a écrit :
> Hi Akim,
>
> You're welcome to use pwd.
> set -e is in effect, so pwd failure will be caught, and changing
> the working directory in a script like this is not a problem.
Hi Jim!
commit b630d56579abda426606c94747748982f30e4a6c
Author: Akim Demaille <a...@lrde.epita.fr>
Date: Thu Jun 7 16:17:36 2012 +0200
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.
is pushed.
