# This could be handy for archiving the generated documentation or
# if some version control system is used.
-PROJECT_NUMBER = @SIMGRID_JAVA_VERSION_MAJOR@.@SIMGRID_JAVA_VERSION_MINOR@
+PROJECT_NUMBER = @SIMGRID_JAVA_VERSION_MAJOR@.@SIMGRID_JAVA_VERSION_MINOR@.@SIMGRID_JAVA_VERSION_PATCH@
# Using the PROJECT_BRIEF tag one can provide an optional one line description
# for a project that appears at the top of each page and should give viewer