Hi Gaby,
| Doesn't build-improvements come with hyperdoc? That would be a big minus.
It does come with hyperdoc. It looks to me that you've found another
bug.
Tell me whatever you need. I can zip my build directory
~/OTHER/Axiom/out-of-source-build-improvements
if you think that is helpful (about 118784487 bytes). Otherwise just
tell me what you need.
Ralf
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
