Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | "Bill Page" <[EMAIL PROTECTED]> writes: | | [...] | | | > I think the the most natural solution for this problem is to | | > require already installed external noweb. | | > | | | | I agree. In fact I think it would be best to also require | | external gcl. We can do what is necessary to warn and advise | | the user what to do when noweb or gcl are not found and we | | can supply a non-trunk copy of these in the Axiom repository. | | OK, I'll implement the removal of noweb from the source code. | However, we must document the dependency and point to/put a copy of | readly available noweb.
Done. -- Gaby _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
