Textanordnung aufgeräumt, doodles ergänzt, Inselkarte

mit Ortsnamen
2022-09-11 11:16:06 +02:00
parent d1bd97e43f
commit fa86b66d1a
19 changed files with 391 additions and 239 deletions
--- a/2
+++ b/2
@@ -3,6 +3,8 @@ all: Grenzland1.pdf
 GENPNG=Grenzland-postapo.gen.png Grenzland-praeapo.gen.png\
 	Grenzland-Startarea.gen.png Inseln-Startarea.gen.png

+.PRECIOUS: $(GENPNG)
+
 %.pdf: %.tex License.tex $(GENPNG) Coverimage.png Makefile
 	pdflatex $<