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
..
.latexmkrc	rework Makefiles and .latexmkrc	2022-01-30 20:55:56 +01:00
thmstyle.tex	integrate documentation of thmstyle into dtx file	2022-01-31 00:26:23 +01:00