Adding Doxyfile back