Update documentation for branch developing

Author: github-actions

developing/footer.js

@@ -1,7 +1,7 @@
 function writeHeader() {
-    document.write('Version 1.2.6-dev200');
+    document.write('Version 1.2.6-dev201');
 };
 
 function writeFooter()  {
-    document.write('Generated on Tue Feb 10 2026 09:57:43 for Arm-2D 1.2.6-dev200+g03fe789. Copyright © 2022-2026 Arm Limited (or its affiliates). All rights reserved.');
+    document.write('Generated on Tue Feb 10 2026 09:59:37 for Arm-2D 1.2.6-dev201+gb75a77b. Copyright © 2022-2026 Arm Limited (or its affiliates). All rights reserved.');
 };

version.js

@@ -1,6 +1,6 @@
 //--- list of versions ---
 const versions = {
-    "developing": "1.2.6-dev200",
+    "developing": "1.2.6-dev201",
     "main": "1.2.6-dev1",
     "latest": "1.2.5",
     "v1.2.4": "1.2.4",