top-level Makefile

Ross Paterson ross at soi.city.ac.uk
Mon Jan 19 10:59:41 EST 2004


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.


More information about the Cvs-hugs mailing list