Don't try to build the documentation if doxygen isn't found