Installing _all_ documentation?

[Ian Lynagh]

On Wed, Sep 17, 2003 at 06:27:03PM +0200, Peter Simons wrote:
> Pardon me if this is a dumb question, but is there a make target,
> which I can use to install all documentation that comes with the
> build? I am aware of "make install-docs", but this doesn't build nor
> install, say, the user's guide. Nor does it install documentation for
> Alex or Happy, even though I'm building those tools as part of GHC.
> 
> Any obvious solutions?

Try

echo "SGMLDocWays   := html dvi ps" >> mk/build.mk

(or whatever formats you want - there is a list in mk/config.mk above
the SGMLDocWays= line)


Thanks
Ian