Fix Doxyfile.