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).
Showing with 6 additions and 20 deletions