[Axiom-developer] Re: tm_axiom

[Joris van der Hoeven]

> I suppose the current answer is that tm_axiom will become part of
> the distribution and magically installed as part of "make install".

That is OK with me, but what do we do with the old version of Axiom?
Just let it burn in hell?

> Heck, we could even use "configure" to find texmacs. :-)

You may want to use `texmacs --path` or `texmacs --binpath`.