Delete deprecated doxygen options