avoid repeatedly rerunning doxygen