top-level Makefile

Ross Paterson ross at
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