Update main documentation

main/footer.js

@@ -1,7 +1,7 @@
 function writeHeader() {
-    document.write('Version 1.14.2-dev8');
+    document.write('Version 1.14.2-dev9');
 };
 
 function writeFooter()  {
-    document.write('Generated on Thu Oct 27 2022 05:46:56 for CMSIS-DSP 1.14.2-dev8+g68ddaa5. Copyright © 2022 Arm Limited (or its affiliates). All rights reserved.');
+    document.write('Generated on Thu Oct 27 2022 06:10:17 for CMSIS-DSP 1.14.2-dev9+g54be9ae. Copyright © 2022 Arm Limited (or its affiliates). All rights reserved.');
 };

version.js

@@ -1,6 +1,6 @@
 //--- list of versions ---
 const versions = {
-    "main": "1.14.2-dev8",
+    "main": "1.14.2-dev9",
     "latest": "1.14.1",
     "v1.14.0": "1.14.0",
     "v1.12.0": "1.12.0",