17 Sep
2003
17 Sep
'03
2:43 p.m.
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