Fix broken install when doxygen is not found

Without doxygen installed, no docs are generated, and the install fails to find the html directory.  This tiny patch fixes that problem.