latex-packages/doc/environments/refproof
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
refproof.tex document refproof package 2022-01-30 15:25:27 +01:00