Update main documentation

gh-pages
github-actions 3 years ago
parent eb418c91c9
commit ccad191737

@ -1,7 +1,7 @@
function writeHeader() {
document.write('Version 1.13.1-dev1');
document.write('Version 1.13.1-dev2');
};
function writeFooter() {
document.write('Generated on Wed Sep 14 2022 08:59:16 for CMSIS-DSP 1.13.1-dev1+g142dcec. Copyright © 2022 Arm Limited (or its affiliates). All rights reserved.');
document.write('Generated on Tue Sep 20 2022 06:00:16 for CMSIS-DSP 1.13.1-dev2+gb817710. Copyright © 2022 Arm Limited (or its affiliates). All rights reserved.');
};

@ -1,6 +1,6 @@
//--- list of versions ---
const versions = {
"main": "1.13.1-dev1",
"main": "1.13.1-dev2",
"latest": "1.12.0",
"v1.11.0": "1.11.0",
"v1.10.1": "1.10.1"

Loading…
Cancel
Save