Update version number in doxygen config