X-Git-Url: http://wamblee.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=build%2Fheader.xml;h=df55a859ef4eb327a19cb794aaafeff8e53ded85;hb=e65df89a323baafe57e22d0c924f53ea67351bb9;hp=81a3a12c3b5ca38284196cd6a2325a4003a7de72;hpb=35bdcd4a3cc78d2bfcbbfc57a6db45be8e9af848;p=utils
diff --git a/build/header.xml b/build/header.xml
index 81a3a12c..df55a859 100644
--- a/build/header.xml
+++ b/build/header.xml
@@ -14,6 +14,12 @@
+
+
+
+
+
+
@@ -141,6 +147,24 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -559,6 +583,9 @@
Preparation:
+ To execute with a specific proxy host and port, start ant with the
+ command-line options -Dproxyhost=hostname -Dproxyport=portnumber.
+
deps: Download dependencies, this is necessary for using
any of the build targets.
clean-deps: Remove downloaded dependencies.