Re: [Axiom-developer] DeveloperNotes.pamphlet

[root]

> | > I have just realised that the file src/doc/axiom.sty.pamphlet
> | > (build-improvements) contains noweb.sty in full. A quick look at it lets
> | > me guess that only a few lines at the end of the pamphlet is actually
> | > making the difference to noweb.sty. The other things are probably taken
> | > to be some (fixed) version (not documented which one) of noweb.sty.nw.
> |
> | The exact version of axiom--main--1--patch-50 is noweb-2.10a.tgz
> | This is the version in the zips directory.
> 
> The issue is what do you do when people already have noweb installed.

Since we don't use noweb.sty anywhere why is this an issue?

t