11 commits

Author	SHA1	Message	Date
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