Gaby, On Wednesday, May 03, 2006 11:05 PM you wrote: > ... > | *) if noweb is installed check to see if the filter already > | exists > > I can do this if I'm given sufficient detail of how to detect > the problem and where the filter could possibly reside. >
It would make good sense to me to put the 'axiom-noweb' file in the Axiom scripts directory. It can be called simply by changing the definition of the NOTANGLE variable in the Makefile to: NOTANGLE="notangle -filter axiom-noweb" Regards, Bill Page. _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
