Regenerate doxyfile from doxygen 1.8.8