RE: Problems building 3.02 and 4.04 on x86 Solaris

[Simon Marlow]

> That's sorted it out OK. Thanks for the help.
> 
> If you'd like me to do a binary dist from this then let me know. (Is
> there any procedure to follow other than "make binary-dist"?)

Please do!  Just sit in fptools/ and type 'make binary-dist'.  It'll try to
build the documentation; if you don't have sgmltools installed, just do
'make -k binary-dist' and send me the tarball.  I'll add in the docs before
putting it up on the web site.

Cheers,
        Simon