Removed an obsolete setting from doxygen config file.