27 commits

Author	SHA1	Message	Date
Griatch	3a28efb7c8	Update FuncParser docs	2022-06-12 00:40:36 +02:00
Griatch	d7d94c462f	Testing with a manual doc deploy	2022-01-25 23:34:28 +01:00
Griatch	6380832852	Removing auto-branch revert for doc build	2022-01-25 23:10:53 +01:00
Griatch	7b0c6fb239	Another test with the doc build process	2022-01-25 23:02:15 +01:00
Griatch	b2ddef2d61	Test to fetch before checkout in build script	2022-01-21 01:07:53 +01:00
Griatch	2bfd188718	Change to doc deploy script	2021-10-26 22:32:04 +02:00
Griatch	98c9b96e0f	Customize index set	2020-11-14 19:16:02 +01:00
Griatch	363de634c5	Set correct latest symlink	2020-10-19 08:55:53 +02:00
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