2 Commits

Author	SHA1	Message	Date
Maximilian Keßler	72cc9d78b0	set -e for compilation script	2023-10-19 02:49:26 +02:00
Maximilian Keßler	6d8a131865	Rework building of documentation files ... Instead of an ugly Makefile structure, we now use a single compile script that collects all the files in build/doc.	2023-10-19 01:34:46 +02:00