[Axiom-developer] RE: noweb "bug" (was: article "standard" header/footer)

[Page, Bill]

Camm, 

On Wednesday, December 14, 2005 1:13 PM you wrote:
>...
> Bill Page wrote:
> > Or does the Debian build actually rebuild noweb? 
> 
> I haven't touched axiom's use of noweb, apart from not shipping
> special noweb binaries.  You can look at a sample build log here:
> 
>
http://buildd.debian.org/fetch.php?&pkg=axiom&ver=20050901-4&arch=powerp
c&stamp=1132811978&file=log&as=raw
>

I see here:
...
13 making noweb
patching file modules.c
patching file Makefile
...

So noweb is patched and built specifically for Axiom's use as is
done now in the the main source distribution.

> Of course, the treatment here may be lacking, and I'd be happy
> to incorporate any suggestions.
> 

It looks fine to me except my preference would be to require
a pre-installed noweb and use the -filter script instead of
patching the sources... but we will get to that in time as part
of the main distribution.

Thanks for your input.

Cheers,
Bill Page.