patch applied (ghc): When BUILD_DOCBOOK_HTML is NO, keep the
rules, just omit the target
Simon Peyton Jones
simonpj at microsoft.com
Tue Mar 9 06:26:48 EST 2010
Fri Mar 5 09:30:04 PST 2010 simonpj at microsoft.com
* When BUILD_DOCBOOK_HTML is NO, keep the rules, just omit the target
(and similarly for PS and PDF)
The previous setup nuked the rules for making the documentation when
BUILD_DOCBOOK_HTML=NO. This meant that "make html" didn't work.
There isn't any reason to nuke the rules (so far as Simon and I know).
M ./rules/docbook.mk -20 +6
View patch online:
More information about the Cvs-ghc