On 10/17/2016 12:29 PM, Jean-Marc Lasgouttes wrote:
> Le 17/10/2016 à 18:27, Richard Heck a écrit :
>>> Does distclean work from a clean tree?
>> I tried a lot of things here, e.g., deleting entirely the support/
>> directory and restoring it via "git co support/". Even that did not
>> work. It seems fine with a completely new checkout (git clone olddir
>> newdir, etc), though.
> Deleting the contents of the build tree is enough IMO. This is nothing
> to do with source tree.
The problem may have been that I had to configure inside the source
tree, due to problems running the update-po.sh script from a build
directory. I thought that was working at some point, but it seems not to