Re: [PATCH] maint.mk: fix VPATH issues

[Akim Demaille]

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 <address@hidden>
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.