Markus Lehtonen c05c6f2e5b docs: make the list of available versions dynamic ... Make the list of available versions dynamic. The items displayed is now generated with javascript. The parent directory of the site is supposed to contain versions.js providing getVersionListItems() that returns the available versions. The update-gh-pages.sh script is modified to update/create versions.js on every invocation. It simply lists all directories in the root directory and adds them to the version list.		2020-10-22 21:44:49 +03:00
..
github	docs: make the list of available versions dynamic	2020-10-22 21:44:49 +03:00
test-infra	scripts: fix gh-pages build failure in prow	2020-10-22 21:31:05 +03:00