Markus Lehtonen 5295feb1ee docs: polish the version menu ... Only show the dynamic version menu in production environment where it's available. Local (development) builds only show a stub version menu with one item. Also, fix the theme customization. Append version list items to the correct element in html so that they are displayed correctly. Drop unnecessary <div/>.		2020-10-30 08:41:33 +02:00
..
build-gh-pages.sh	docs: polish the version menu	2020-10-30 08:41:33 +02:00
build-image.sh	scripts: don't use '-e' command line option for make	2020-09-15 11:53:50 +03:00
build.sh	scripts: don't use '-e' command line option for make	2020-09-15 11:53:50 +03:00
push-image.sh	scripts: explicitly override VERSION in push-image.sh	2020-09-15 11:46:48 +03:00
test-e2e.sh	scripts: one more variable override fix in test-e2e.sh	2020-09-22 10:29:29 +03:00
verify.sh	scripts: don't use '-e' command line option for make	2020-09-15 11:53:50 +03:00