refs #548. Turn on generation of docs of different depending on which tools are found during configure. If doxygen 1.5.8 is detected only html is enabled.