19 commits

Author	SHA1	Message	Date
Griatch	621efe8e40	Correct deploy message	2020-06-13 12:41:55 +02:00
Griatch	658b400afa	Merge branch 'master' into develop	2020-06-13 12:37:07 +02:00
Griatch	e29ae1bc93	Update doc-deploy file	2020-06-13 12:35:06 +02:00
Griatch	2d51710d6f	Make sure latest link is in github	2020-06-13 12:27:45 +02:00
Griatch	b48b988883	fix again of path	2020-06-13 12:21:34 +02:00
Griatch	00f8eed8ca	Alternative deploy	2020-06-13 10:52:40 +02:00
Griatch	e26784fd4a	Merge dev version of doc-deploy	2020-06-13 10:51:17 +02:00
Griatch	8f257184f6	Fix to deploy	2020-06-13 10:49:55 +02:00
Griatch	ce18d714de	Resolve merge conflicts	2020-06-13 10:45:46 +02:00
Griatch	44f5df2e2c	Changes to deploy mechanism	2020-06-13 10:43:28 +02:00
Griatch	3721d42f2c	Another fix to symlink	2020-06-13 01:05:49 +02:00
Griatch	ba9b33b4fd	Fix softlink	2020-06-13 01:01:45 +02:00
Griatch	565dea6956	Another deploy tweak	2020-06-13 00:55:47 +02:00
Griatch	0a58033e40	Further tweak to deployment	2020-06-13 00:40:36 +02:00
Griatch	7f5881cd02	Tweak deploy process	2020-06-13 00:34:37 +02:00
Griatch	fedd01e844	fix of deploy	2020-06-13 00:19:14 +02:00
Griatch	18ca93ea9f	[fix] Disable deploy temporarily	2020-06-13 00:07:58 +02:00
Griatch	8c8a0ec985	Add initial static-doc to master for proper versioning	2020-06-12 22:01:38 +02:00
Griatch	e6488f0d1c	Add docs/ dir	2020-04-05 00:02:02 +02:00