Update main documentation

main/footer.js

@@ -1,7 +1,7 @@
 function writeHeader() {
-    document.write('Version 1.14.5-dev12');
+    document.write('Version 1.14.5-dev13');
 };
 
 function writeFooter()  {
-    document.write('Generated on Wed May 10 2023 07:12:44 for CMSIS-DSP 1.14.5-dev12+g80bf36c. Copyright © 2022-2023 Arm Limited (or its affiliates). All rights reserved.');
+    document.write('Generated on Mon Jun  5 2023 06:42:13 for CMSIS-DSP 1.14.5-dev13+g507f0a6. Copyright © 2022-2023 Arm Limited (or its affiliates). All rights reserved.');
 };

version.js

@@ -1,6 +1,6 @@
 //--- list of versions ---
 const versions = {
-    "main": "1.14.5-dev12",
+    "main": "1.14.5-dev13",
     "latest": "1.14.4",
     "v1.14.3": "1.14.3",
     "v1.14.2": "1.14.2",