1
Description: Adjust build path to fit Debian packaging needs.
5
Index: webdeveloper-1.1.8/build.xml
6
===================================================================
7
--- webdeveloper-1.1.8.orig/build.xml 2009-07-08 20:31:50.000000000 +0200
8
+++ webdeveloper-1.1.8/build.xml 2009-07-08 20:31:55.000000000 +0200
10
<delete dir="chrome"/>
11
<delete file="install.js"/>
12
<delete file="install.rdf"/>
13
- <delete file="builds/web-developer.xpi"/>
14
+ <delete file="build-tree/web-developer.xpi"/>
15
<echo level="info" message="Creating extension structure"/>
16
<copy todir="chrome/content">
17
<fileset dir="source/content_common">
19
<copy file="common_install.rdf" tofile="install.rdf">
20
<filterset refid="common.filters"/>
22
- <zip destfile="builds/web-developer.xpi">
23
+ <zip destfile="build-tree/web-developer.xpi">
24
<zipfileset dir="chrome" prefix="chrome"/>
25
<zipfileset file="chrome.manifest"/>
26
<zipfileset file="install.js"/>