From b4bbf3434ff4b94238d8cbcc6f71a7ef1ed31885 Mon Sep 17 00:00:00 2001
From: github-actions <github-actions@github.com>
Date: Thu, 3 Nov 2022 13:50:01 +0000
Subject: [PATCH] Update main documentation

---
 main/footer.js | 4 ++--
 version.js     | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/main/footer.js b/main/footer.js
index 775f0e8b..740d7116 100644
--- a/main/footer.js
+++ b/main/footer.js
@@ -1,7 +1,7 @@
 function writeHeader() {
-    document.write('Version 1.14.2-dev16');
+    document.write('Version 1.14.2-dev17');
 };
 
 function writeFooter()  {
-    document.write('Generated on Thu Nov  3 2022 11:05:19 for CMSIS-DSP 1.14.2-dev16+g9c425b0. Copyright &copy; 2022 Arm Limited (or its affiliates). All rights reserved.');
+    document.write('Generated on Thu Nov  3 2022 13:49:31 for CMSIS-DSP 1.14.2-dev17+g25c3fa3. Copyright &copy; 2022 Arm Limited (or its affiliates). All rights reserved.');
 };
diff --git a/version.js b/version.js
index 90e78a67..9414542c 100644
--- a/version.js
+++ b/version.js
@@ -1,6 +1,6 @@
 //--- list of versions ---
 const versions = {
-    "main": "1.14.2-dev16",
+    "main": "1.14.2-dev17",
     "latest": "1.14.1",
     "v1.14.0": "1.14.0",
     "v1.12.0": "1.12.0",