* Change name in Doxygen.cond