diff --git a/build.xml b/build.xml
index 698b91f..95a8789 100644
--- a/build.xml
+++ b/build.xml
@@ -18,6 +18,7 @@
+
@@ -59,13 +60,24 @@
-
+
+
+
+
+
+
+
+
+
+
+
+
-
+
@@ -122,13 +134,6 @@
- Requires JDK 7.x (not 8!), using: ${ant.java.version}
-
-
-
-
-
-
-
-
@@ -634,25 +637,13 @@
-
-
-
-
-
-
-
- Got git revision ${gitrnum}
-
-
-
-
- ${gitrnum}
+
-
+
diff --git a/design/architecture/Makefile b/design/architecture/Makefile
index 8765025..0fc7869 100644
--- a/design/architecture/Makefile
+++ b/design/architecture/Makefile
@@ -4,6 +4,7 @@ PDFS = $(TEX_SRCS:.tex=.pdf)
%.pdf : %.tex
pdflatex $*
pdflatex $*
+ pdflatex $*
all : $(PDFS)