add missing Doxyfile