
19 Jan
2004
19 Jan
'04
5:59 a.m.
It there any point to the pp-fptools stuff (which does platform-independent preprecessing)? This has to be done when building a tarball, but it seems useless when the rest of the making is done on the same machine.