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
Simon Marlow writes:
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.
Adding "SGMLDocWays := html" to each projects respective "mk/build.mk" file builds the documentation just fine. Thanks for the help! One more nit, though: "make install-docs" won't do anything in the "haddock" and "happy" projects! For "alex", it works fine, but installs the documentation to "${datadir}/html" whereas GHC installs it documentation into "${datadir}/ghc-6.3/html", which seems to be slightly inconsistent. Peter
participants (2)
-
Peter Simons -
Simon Marlow