For this reason, it would be better to name the directory
"synctexdir" (like pdftexdir, xetexdir, etc).
Sounds good to me. Thanks.
(Tim, even once this is fixed, I'd still recommend building in a
separate Work tree
Yes. Besides all the reasons you cite, I suspect there may be other
srcdir=builddir problems, now or in the future :).
karl