misc: Update version info for develop branch

Change-Id: Iecee9e230c1c80f5675ec14bbeba9f7d9e2b8664

src/Doxyfile

@@ -31,7 +31,7 @@ PROJECT_NAME           = gem5
 # This could be handy for archiving the generated documentation or
 # if some version control system is used.
 
-PROJECT_NUMBER         = v23.0.0.0
+PROJECT_NUMBER         = [DEVELOP-FOR-23.0]
 
 # The OUTPUT_DIRECTORY tag is used to specify the (relative or absolute)
 # base path where the generated documentation will be put.

src/base/version.cc

@@ -32,6 +32,6 @@ namespace gem5
 /**
  * @ingroup api_base_utils
  */
-const char *gem5Version = "23.0.0.0";
+const char *gem5Version = "DEVELOP-FOR-23.1";
 
 } // namespace gem5