Removed obsolete doxygen options (they were blank anyway).