Don't install docs if Doxygen not found