27 commits

Author	SHA1	Message	Date
Griatch	517ec5d4d5	Update FuncParser docs	2022-06-12 00:40:36 +02:00
Griatch	89baae29ed	Testing with a manual doc deploy	2022-01-25 23:34:28 +01:00
Griatch	2a70a8a688	Removing auto-branch revert for doc build	2022-01-25 23:10:53 +01:00
Griatch	32f330ab3f	Another test with the doc build process	2022-01-25 23:02:15 +01:00
Griatch	337a17cb48	Test to fetch before checkout in build script	2022-01-21 01:07:53 +01:00
Griatch	bf04d29293	Change to doc deploy script	2021-10-26 22:32:04 +02:00
Griatch	1d880e5102	Customize index set	2020-11-14 19:16:02 +01:00
Griatch	daa8be261c	Set correct latest symlink	2020-10-19 08:55:53 +02:00
Griatch	9dbcbf887a	Correct deploy message	2020-06-13 12:41:55 +02:00
Griatch	6af0c26127	Merge branch 'master' into develop	2020-06-13 12:37:07 +02:00
Griatch	960acff15a	Update doc-deploy file	2020-06-13 12:35:06 +02:00
Griatch	c2bb7b59fe	Make sure latest link is in github	2020-06-13 12:27:45 +02:00
Griatch	5095bec809	fix again of path	2020-06-13 12:21:34 +02:00
Griatch	1e760da62a	Alternative deploy	2020-06-13 10:52:40 +02:00
Griatch	2230900c55	Merge dev version of doc-deploy	2020-06-13 10:51:17 +02:00
Griatch	14d87cf1fb	Fix to deploy	2020-06-13 10:49:55 +02:00
Griatch	23569645a9	Resolve merge conflicts	2020-06-13 10:45:46 +02:00
Griatch	269fc3b1bc	Changes to deploy mechanism	2020-06-13 10:43:28 +02:00
Griatch	1c6ffb358c	Another fix to symlink	2020-06-13 01:05:49 +02:00
Griatch	e1a2bc4a3f	Fix softlink	2020-06-13 01:01:45 +02:00
Griatch	64d34fbefa	Another deploy tweak	2020-06-13 00:55:47 +02:00
Griatch	5004a818d0	Further tweak to deployment	2020-06-13 00:40:36 +02:00
Griatch	2d1d3b2472	Tweak deploy process	2020-06-13 00:34:37 +02:00
Griatch	4cddeaa9a1	fix of deploy	2020-06-13 00:19:14 +02:00
Griatch	bbf8b95ae7	[fix] Disable deploy temporarily	2020-06-13 00:07:58 +02:00
Griatch	f7bde74360	Add initial static-doc to master for proper versioning	2020-06-12 22:01:38 +02:00
Griatch	f5bf1d6545	Add docs/ dir	2020-04-05 00:02:02 +02:00