4 commits

Author	SHA1	Message	Date
Markus Lehtonen	82f5c89e1a	docs: sync navbar from jekyll-rdt-theme v2.0.9	2020-10-29 22:27:42 +02:00
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
Markus Lehtonen	194f42f5c9	docs: pin version of jekyll-rtd-theme ... Sync our customizations under _includes/ with v2.0.9 of jekyll-rtd-theme. Also, pin the theme version in order to avoid abrupt build failures in the future (caused by our customization becoming incompatible with the rolling latest version). Also, drop jekyll-rtd-theme from the Gemfile. It's useless there as it's being mandated by remote-theme setting in _config.yml.	2020-10-22 21:32:17 +03:00
Markus Lehtonen	611612fd97	docs: add support for versioned documentation ... Customize the Jekyll theme to add a simple list of versions.	2020-10-08 10:51:13 +03:00