On Sun, 18 Feb 2007, C Y wrote: [...]
| I guess another question is whether Axiom is set up so that ./configure | can build only noweb and nothing else on request. make all-noweb -- Gaby _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
