Update documentation for branch developing

Author: github-actions

developing/footer.js

@@ -1,7 +1,7 @@
 function writeHeader() {
-    document.write('Version 1.2.6-dev216');
+    document.write('Version 1.2.6-dev217');
 };
 
 function writeFooter()  {
-    document.write('Generated on Wed Feb 11 2026 10:32:49 for Arm-2D 1.2.6-dev216+g33236ec. Copyright © 2022-2026 Arm Limited (or its affiliates). All rights reserved.');
+    document.write('Generated on Wed Feb 11 2026 10:43:47 for Arm-2D 1.2.6-dev217+g6fb2dd4. 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-dev216",
+    "developing": "1.2.6-dev217",
     "main": "1.2.6-dev1",
     "latest": "1.2.5",
     "v1.2.4": "1.2.4",