add makefile to build pdf #4
Loading…
Reference in a new issue
No description provided.
Delete branch "makefile"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Erstmal mit dem kompletten Ubuntu Container, den können wir später nochmal auf die notwendigen Pakete schrumpfen.
closes !3
Ich habe in #4 die Verzeichnisstruktur geglättet, bitte mal rebasen und anpassen. (src existiert nicht mehr).
Grundsätzlich sieht das gut aus.
das sollte jetzt passen...
Ja, passt. Zwei Anmerkungen:
(Vor dem Merge muss mein Branch angenommen werden.)
mhh, ich hab das als PR gegen den latex branch gestellt
den dockercontainer möchte ich ohne Not eigenlich nicht anfassen ;-)
Da lässt sich bestimmt auch was im Script machen. Ggf. auch im Nachgang zu diesem PR.
So, mMn sieht das jetzt gut aus. Magst du noch mal drauf schauen/mergen?