[Axiom-developer] compiling axiom after latest tree update (notangle change)

[David MENTRE]

Hello,

I don't remember if some of you had this issue but after Tim changed the
source tree (to distinguish between Axiom's noweb and system's noweb),
it was no longer possible to do a 'make' in the root directory, with an
error message like '..../mnt/linux/bin/notangle: file not found'. The
solution is to do a 'make nowebclean' before doing a new
'make'. nowebclean targets reases noweb tools, thus at next make they
will be rebuild and the build system will find its notangle.

Yours,
d. 
-- 
David MENTRE <address@hidden> -- http://www.nongnu.org/axiom/