Hi, [...]
| configure:2934: checking for notangle | configure:2963: result: no | configure:2969: checking for noweave | configure:2998: result: no configure detects that noweb is missing. That is fine. [...] | NOTANGLE='' | NOWEAVE='' However, this is not right. It is the consequence of a bogus logic I knew of but failed to fix before commit. It is now fixed. Sorry for that. _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
