[SCM] jedit - Java plugin-based editor for programmers branch, master, updated. debian/4.4.2+dfsg-1-23-g998e08e

[Gabriele Giacone]

The following commit has been merged in the master branch:
commit 332b193ca232ff38b4e77152fdea3c62dfb6e9ff
Author: Gabriele Giacone <1o5g4r8o at gmail.com>
Date:   Sat Jun 16 01:18:34 2012 +0200

    Move ivy.done=true to d/build.properties.

diff --git a/debian/build.properties b/debian/build.properties
index a24436d..35ccf97 100644
--- a/debian/build.properties
+++ b/debian/build.properties
@@ -9,3 +9,5 @@ config.docbook.catalog=/usr/share/xml/docbook/schema/dtd/4/catalog.xml
 
 config.build.debug=true
 config.build.debuglevel=lines,vars,source
+
+ivy.done=true
diff --git a/debian/rules b/debian/rules
index 36790e6..ff3fb98 100755
--- a/debian/rules
+++ b/debian/rules
@@ -23,8 +23,8 @@ override_dh_auto_configure:
 
 override_dh_auto_build:
 	# build
-	ant -Divy.done=true -propertyfile $(PROPERTIES) build
-	ant -Divy.done=true -propertyfile $(PROPERTIES) docs-html
+	ant -propertyfile $(PROPERTIES) build
+	ant -propertyfile $(PROPERTIES) docs-html
 	# upstream changelog
 	cp build/doc/CHANGES.txt build/doc/changelog
 

-- 
jedit - Java plugin-based editor for programmers