X-Git-Url: http://wagnertech.de/gitweb/gitweb.cgi/projects.git/blobdiff_plain/dfda162adb766468fdcd01de333683e215231c07..dc07bc36907e3273eaac7199212b91bb290875fa:/tools/make/makefile

diff --git a/tools/make/makefile b/tools/make/makefile
index 0102534..b2f4944 100644
--- a/tools/make/makefile
+++ b/tools/make/makefile
@@ -4,9 +4,11 @@
 
 NOP = @echo "No operation for target $@"
 COMPILE = $(NOP)
+COMPILE_TARGET = compile.stamp
 COPY = $(NOP)
 ZIP = zip -r $(project).zip $(project)
 DEB = fakeroot dpkg-deb --build $(project)
+INSERT_BUILD = projects/tools/make/insert_build.sh
 
 #default parameters
 project = default
@@ -37,6 +39,9 @@ zip: $(project).zip
 deb: $(project).deb
 	# Debian package ready
 
+version: $(COMPILE_TARGET)
+	$(INSERT_BUILD) $(COMPILE_TARGET) $(build)
+
 #-----------------------------------------------------------------
 # compile steps
 #-----------------------------------------------------------------
@@ -77,5 +82,5 @@ clean:
 # Build-Regeln
 #-----------------------------------------------------------------
 %.pdf : %.tex $(SOURCES)
-	pdflatex $<
+	pdflatex $< && pdflatex $<