6 commits

Author	SHA1	Message	Date
Griatch	5f361fbd5b	Customize index set	2020-11-14 19:15:24 +01:00
Griatch	5d3badcebc	Set latest link correctly	2020-10-19 08:56:19 +02:00
Griatch	358f6a81d4	Update doc-deploy file	2020-06-13 12:37:21 +02:00
Griatch	e26784fd4a	Merge dev version of doc-deploy	2020-06-13 10:51:17 +02:00
Griatch	44f5df2e2c	Changes to deploy mechanism	2020-06-13 10:43:28 +02:00
Griatch	8c8a0ec985	Add initial static-doc to master for proper versioning	2020-06-12 22:01:38 +02:00