[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Axiom-developer] Re: noweb
From: |
Page, Bill |
Subject: |
RE: [Axiom-developer] Re: noweb |
Date: |
Wed, 3 May 2006 23:17:37 -0400 |
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.
- Re: [Axiom-developer] Re: noweb, (continued)
RE: [Axiom-developer] Re: noweb, Page, Bill, 2006/05/03
- Re: [Axiom-developer] Re: noweb, root, 2006/05/04
- Re: [Axiom-developer] Re: noweb, Gabriel Dos Reis, 2006/05/04
- Re: [Axiom-developer] Re: noweb, C Y, 2006/05/04
- Re: [Axiom-developer] Re: noweb / Lisp Skills, Martin Rubey, 2006/05/04
- Re: [Axiom-developer] Re: noweb / Lisp Skills, Gabriel Dos Reis, 2006/05/04
- Re: [Axiom-developer] Re: noweb / Lisp Skills, Martin Rubey, 2006/05/04
- Re: [Axiom-developer] Re: noweb / Lisp Skills, Gabriel Dos Reis, 2006/05/04
RE: [Axiom-developer] Re: noweb,
Page, Bill <=
RE: [Axiom-developer] Re: noweb, Page, Bill, 2006/05/04
RE: [Axiom-developer] Re: noweb, Page, Bill, 2006/05/04
RE: [Axiom-developer] Re: noweb, Page, Bill, 2006/05/04
Re: [Axiom-developer] Re: noweb, Ralf Hemmecke, 2006/05/04
RE: [Axiom-developer] Re: noweb, Page, Bill, 2006/05/04
RE: [Axiom-developer] Re: noweb, Page, Bill, 2006/05/05