From a7a01034efb279947645ca5c4d740e81e9581f96 Mon Sep 17 00:00:00 2001 From: Erik Brakkee Date: Thu, 16 Mar 2006 18:58:08 +0000 Subject: [PATCH] --- build/header.xml | 27 +++++++ build/style.xml | 43 +++++++---- build/test-style.xml | 171 ------------------------------------------- build/trailer.xml | 6 +- 4 files changed, 57 insertions(+), 190 deletions(-) delete mode 100644 build/test-style.xml 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. diff --git a/build/style.xml b/build/style.xml index 24558dd6..ecbd3acf 100644 --- a/build/style.xml +++ b/build/style.xml @@ -34,7 +34,7 @@ - + @@ -49,9 +49,9 @@ - - - + + + @@ -59,11 +59,17 @@ - - + + + + - - + + + + + + @@ -96,7 +102,9 @@ - + + + @@ -105,14 +113,16 @@ - + - + @@ -133,7 +143,7 @@ - + @@ -144,10 +154,11 @@ + - + @@ -157,11 +168,11 @@ - - + + diff --git a/build/test-style.xml b/build/test-style.xml deleted file mode 100644 index 446472ab..00000000 --- a/build/test-style.xml +++ /dev/null @@ -1,171 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/build/trailer.xml b/build/trailer.xml index 95ba839c..a57b7da3 100644 --- a/build/trailer.xml +++ b/build/trailer.xml @@ -172,6 +172,7 @@ + Result is available in ${module.pdfdoc.dir}"