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? Peter
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
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. :-)
participants (2)
-
Ian Lynagh -
Peter Simons