Re: [Axiom-developer] Successful build-improvements compilation

[Ralf Hemmecke]

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