Dear Waldek, it seems that version 434 of wh-sandbox seems to install "document" to axiom/target/.../bin
Is this only on my machine? Furthermore, it seems that my packages get recompiled in any case, even if I only did a configure to change the prefix. Martin _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
