From 6d7b349f665486753ee180a8486e3b0149f6c71f Mon Sep 17 00:00:00 2001
From: github-actions <github-actions@github.com>
Date: Mon, 8 Jan 2024 07:15:56 +0000
Subject: [PATCH] Update documentation for branch main

---
 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 ea5fd180..824dcede 100644
--- a/main/footer.js
+++ b/main/footer.js
@@ -1,7 +1,7 @@
 function writeHeader() {
-    document.write('Version 1.15.1-dev13');
+    document.write('Version 1.15.1-dev15');
 };
 
 function writeFooter()  {
-    document.write('Generated on Tue Dec 19 2023 06:12:04 for CMSIS-DSP 1.15.1-dev13+gfb43015. Copyright &copy; 2023 Arm Limited (or its affiliates). All rights reserved.');
+    document.write('Generated on Mon Jan  8 2024 07:15:32 for CMSIS-DSP 1.15.1-dev15+gdc95c82. Copyright &copy; 2024 Arm Limited (or its affiliates). All rights reserved.');
 };
diff --git a/version.js b/version.js
index 7e6fb328..487ead7b 100644
--- a/version.js
+++ b/version.js
@@ -1,6 +1,6 @@
 //--- list of versions ---
 const versions = {
-    "main": "1.15.1-dev13",
+    "main": "1.15.1-dev15",
     "latest": "1.15.0",
     "v1.14.4": "1.14.4",
     "v1.14.3": "1.14.3",