Update documentation for branch main

Author: github-actions

main/footer.js

@@ -1,7 +1,7 @@
 function writeHeader() {
-    document.write('Version 5.9.1-dev44');
+    document.write('Version 5.9.1-dev45');
 };
 
 function writeFooter()  {
-    document.write('Generated on Thu Feb  5 2026 13:49:39 for CMSIS-RTX 5.9.1-dev44+g247b3a2. Copyright © 2026 Arm Limited (or its affiliates). All rights reserved.');
+    document.write('Generated on Fri Feb  6 2026 11:21:46 for CMSIS-RTX 5.9.1-dev45+g5d86a7d. Copyright © 2026 Arm Limited (or its affiliates). All rights reserved.');
 };

version.js

@@ -1,6 +1,6 @@
 //--- list of versions ---
 const versions = {
-    "main": "5.9.1-dev44",
+    "main": "5.9.1-dev45",
     "latest": "5.9.0",
     "v5.8.0": "5.8.0"
 }