diff --git a/eo/doc/eo.cfg b/eo/doc/eo.cfg
index 2b965ae2..5fbd7166 100644
--- a/eo/doc/eo.cfg
+++ b/eo/doc/eo.cfg
@@ -23,7 +23,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.4
+PROJECT_NUMBER         = 0.9.4-cvs
 
 # The OUTPUT_DIRECTORY tag is used to specify the (relative or absolute) 
 # base path where the generated documentation will be put.