11 commits

Author	SHA1	Message	Date
Griatch	d40fe5f2c9	Further tweak for quick build	2020-09-19 18:19:36 +02:00
Griatch	6d8b882e0c	Extend dirname for insert in path	2020-09-19 18:13:57 +02:00
Griatch	523c0757e0	Test with sys.path	2020-09-19 18:10:08 +02:00
Griatch	68f6eabd9b	Better filtering of build action	2020-09-19 17:24:21 +02:00
Griatch	b24d4f0e1e	Run black on sources; add black config	2020-07-27 21:12:06 +02:00
Griatch	c52f505d00	Copy doc tools from develop	2020-07-12 20:03:09 +02:00
Griatch	2a79f623c4	Back-port some config/readme from develop	2020-06-14 20:20:43 +02:00
Griatch	cd88660c00	Update favicon also for master	2020-06-13 23:28:25 +02:00
Griatch	269fc3b1bc	Changes to deploy mechanism	2020-06-13 10:43:28 +02:00
Griatch	ef506f0da6	Set branch whitelist	2020-06-12 22:04:01 +02:00
Griatch	f7bde74360	Add initial static-doc to master for proper versioning	2020-06-12 22:01:38 +02:00