Installing _all_ documentation?

[Simon Marlow]

> 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?

The same technique works for Happy, Haddock & Alex, except that some of
these (I forget which) didn't have the doc directory included in the
standard build, so you had to go into eg. happy/doc and say 'make
install-docs' explicitly.

Cheers,
	Simon