11 年之前 · 486dcb1d68
--- a/documents/GeoTopo/definitions/Makefile
+++ b/documents/GeoTopo/definitions/Makefile
@@ -2,6 +2,7 @@ SOURCE = definitionen
 
				 make:
			
 
				 	./generateDefinitions.py
			
 
				 	pdflatex $(SOURCE).tex -output-format=pdf
			
 
				+	pdflatex $(SOURCE).tex -output-format=pdf
			
 
				 	make clean
			
 
				 
			
 
				 clean:
			
--- a/documents/GeoTopo/definitions/definitionen.pdf
+++ b/documents/GeoTopo/definitions/definitionen.pdf