robert 63d173db79 do not try to use auto* tools even if they are installed, because ... this port does not need them, and it was broken on systems where auto* tools were not installed; spotted by sturm@		2007-01-03 19:29:00 +00:00
..
patch-Makefile_in