Make config.doxygen smaller