-
Simon Peyton Jones authored
(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).
594eb917