RE: [Axiom-developer] Re: noweb

[Page, Bill]

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.