7 commits

Author	SHA1	Message	Date
Griatch	d97e9b4e3d	Fail early if warning in doc build	2020-09-19 18:32:42 +02:00
Griatch	e620fa6893	Fix syspath	2020-09-19 18:25:23 +02:00
Griatch	35d0988670	Further tweak for quick build	2020-09-19 18:19:36 +02:00
Griatch	d52e483baf	Better filtering of build action	2020-09-19 17:24:21 +02:00
Griatch	62cc8afc8c	Set up install for doc-build	2020-09-19 17:04:35 +02:00
Griatch	89ff97eedf	Fix doc-build action	2020-09-19 16:31:07 +02:00
Griatch	9666a7bfbb	Test doc-build action	2020-09-19 16:25:18 +02:00