> Dear Waldek,
>
> it seems that version 434 of wh-sandbox seems to install "document" to
> axiom/target/.../bin
>
> Is this only on my machine?
>
On my machine wh-sandbox does not istall "document". Do you want to
have "document" installed?
> Furthermore, it seems that my packages get recompiled in any case, even if I
> only did a configure to change the prefix.
>
I belive that this is fixed in version 439.
--
Waldek Hebisch
[EMAIL PROTECTED]
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
