2 commits

Author	SHA1	Message	Date
Pascal Hertleif	02f2035389	Docs index: Sort versions in a nice way ... This introduces a very sophisticated algorithm to determine the ordering of versions on the rendered docs' start page. (Spoiler alert: It maps "master" and "current" to the largest possible float values and converts a version like "1.2.3" to "1002003".)	2017-08-07 13:00:43 +02:00
Pascal Hertleif	b3c90efcb4	Generate version index for docs domain index ... Uses basically the same code as the lint docs page as I didn't want to reinvent anything: A simple python script (inline in deploy script) writes an array of versions to a JSON file, which gets turned into a list of links using a bit of angular.js code. Fixes #1917	2017-08-03 21:21:59 +02:00