docs: don't remove/rebuild share/man if we don't have doxygen