# This could be handy for archiving the generated documentation or
# if some version control system is used.
-PROJECT_NUMBER = "$Name: u2_10_12_07 $"
+PROJECT_NUMBER = "$Name: u2_10_12_08 $"
# The OUTPUT_DIRECTORY tag is used to specify the (relative or absolute)
# base path where the generated documentation will be put.