Removed obsolete options from Doxyfile