diff --git a/build.xml b/build.xml
index ad55fb6b3..9d00bf551 100644
--- a/build.xml
+++ b/build.xml
@@ -87,6 +87,13 @@
+
+
+
+
+
+
+
@@ -158,6 +165,22 @@
+
+
+
+
+
+
+
+ Temporary branch ${gh-pages-tmp} exists (but should not).
+
+
+
+
+
+
+
+
@@ -199,29 +222,52 @@
+
+
+
+
+
+
+
+
+
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -229,7 +275,12 @@
-
+
+
+
+
+
+