remove obsolete Doxyfile entries