19 Sep
2003
19 Sep
'03
9:23 a.m.
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