> I vote for gmake, but will check what's the problem with bsd-make. Can I think that the problem is that pdftex builds outside the source tree (the build.sh script works this way). Not all versions of make support this properly. Is that reason enough to switch to GNU make entirely? Thomas