3 Commits

Author	SHA1	Message	Date
Janis Hutz	e0dca1e82f	finished build script	2023-02-23 19:17:08 +01:00
Janis Hutz	abfdebf43b	better build script	2023-02-02 17:59:52 +01:00
Janis Hutz	baab1a3036	now also builds from DOCs, but no link check there	2023-02-02 07:07:54 +01:00