8 commits

Author	SHA1	Message	Date
Griatch	e025357d16	Fix doc build makefile	2021-03-20 10:49:06 +01:00
Griatch	e90b300c3b	Fail early if warning in doc build	2020-09-19 18:32:42 +02:00
Griatch	042b8e4046	Fix syspath	2020-09-19 18:25:23 +02:00
Griatch	d40fe5f2c9	Further tweak for quick build	2020-09-19 18:19:36 +02:00
Griatch	68f6eabd9b	Better filtering of build action	2020-09-19 17:24:21 +02:00
Griatch	d4e1e537cd	Set up install for doc-build	2020-09-19 17:04:35 +02:00
Griatch	97b6be7bce	Fix doc-build action	2020-09-19 16:31:07 +02:00
Griatch	1a7d2a4dc5	Test doc-build action	2020-09-19 16:25:18 +02:00