Correct Doxyfile
Merge branch 'doxygen'