Update main documentation

pull/35/head
github-actions 4 years ago
parent 93c5499ee8
commit 093e706523

@ -1,7 +1,7 @@
function writeHeader() {
document.write('Version 1.10.2-dev2');
document.write('Version 1.10.2-dev1');
};
function writeFooter() {
document.write('Generated on Tue Jul 5 2022 09:35:33 for CMSIS-DSP 1.10.2-dev2+ge0e5607. Copyright © 2022 Arm Limited (or its affiliates). All rights reserved.');
document.write('Generated on Tue Jul 5 2022 09:59:00 for CMSIS-DSP 1.10.2-dev1+gf69e2d4. Copyright © 2022 Arm Limited (or its affiliates). All rights reserved.');
};

@ -1,7 +1,7 @@
//--- list of versions ---
const versions = {
"main": "1.10.2-dev1",
"latest": "1.10.1"
"latest": "1.10.1",
"v1.10.1": "1.10.1","main": "1.10.2-dev1",".git": ""
}
//--- list of versions ---

@ -0,0 +1,57 @@
//--- list of versions ---
const versions = {
"main": "1.10.2-dev1",
"latest": "1.10.1"
}
//--- list of versions ---
var scripts = document.getElementsByTagName("script"),
scriptUrl = new URL(scripts[scripts.length-1].src);
docUrl = new URL(document.URL);
baseUrl = new URL(scriptUrl)
baseUrl.pathname = baseUrl.pathname.split('/').slice(0,-1).join("/")
function urlForVersion(url, version) {
url = new URL(url);
pathname = url.pathname.replace(baseUrl.pathname, "");
parts = pathname.split("/");
parts[1] = version;
url.pathname = baseUrl.pathname + parts.join("/");
return url
}
function writeVersionDropdown() {
currentVersion = document.currentScript.parentNode.innerText;
document.currentScript.parentNode.classList.add("dropdown");
document.currentScript.parentNode.innerText = "";
document.write(' <span onclick="myFunction()" class="dropbtn">'+currentVersion+'</span>');
document.write(' <div id="myDropdown" class="dropdown-content">');
for(var version in versions) {
var label = versions[version];
if (label != version) {
label += "("+version+")"
}
document.write(' <a href="'+urlForVersion(docUrl, version)+'">'+label+'</a>');
}
document.write(' </div>');
};
/* When the user clicks on the button,
toggle between hiding and showing the dropdown content */
function myFunction() {
document.getElementById("myDropdown").classList.toggle("show");
}
// Close the dropdown menu if the user clicks outside of it
window.onclick = function(event) {
if (!event.target.matches('.dropbtn')) {
var dropdowns = document.getElementsByClassName("dropdown-content");
var i;
for (i = 0; i < dropdowns.length; i++) {
var openDropdown = dropdowns[i];
if (openDropdown.classList.contains('show')) {
openDropdown.classList.remove('show');
}
}
}
}
Loading…
Cancel
Save