| > 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?