Ian Lynagh writes:
> echo "SGMLDocWays := html dvi ps" >> mk/build.mk
This works great! Is there any chance I can "extend" this technique so
that it will include the documentation of, say happy, haddock, and
alex as well?
Peter
P. S.: I'm sorry ... I guess I should really read the documentation of
the fptools myself. :-)