diff --git a/eo/doc/eo.cfg b/eo/doc/eo.cfg index 19e35db3..7dd8cc70 100644 --- a/eo/doc/eo.cfg +++ b/eo/doc/eo.cfg @@ -20,7 +20,7 @@ PROJECT_NAME = EO # This could be handy for archiving the generated documentation or # if some version control system is used. -PROJECT_NUMBER = 0.9.0 +PROJECT_NUMBER = 0.9.2 # The OUTPUT_DIRECTORY tag is used to specify the (relative or absolute) # base path where the generated documentation will be put.