3 commits

Author	SHA1	Message	Date
Justin Mayer	63b60da919	Build docs in zipped HTML and PDF formats	2023-08-03 14:44:13 +02:00
Justin Mayer	48a0484d15	Improve ReadTheDocs configuration	2023-08-03 14:37:39 +02:00
Justin Mayer	9384e7cb0b	Add ReadTheDocs configuration file	2023-08-03 14:29:18 +02:00