blob: d0225de839b82042f598512a8589e9ca8116f6d8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
--- build.xml.vanilla 2012-02-23 01:17:09.137602588 +0100
+++ build.xml 2012-02-23 01:21:35.431836983 +0100
@@ -79,6 +79,9 @@
<pathelement path="classes/xp.jar"/>
<pathelement path="classes/servlet.jar"/>
<pathelement path="${build.core.classes}"/>
+ <fileset dir="jars">
+ <include name="**/*.jar"/>
+ </fileset>
</path>
<!-- =================================================================== -->
@@ -99,6 +102,7 @@
<!-- =================================================================== -->
<target name="compile.core" depends="prepare">
<javac srcdir="${src.dir}"
+ encoding="iso-8859-1"
destdir="${build.core.classes}"
debug="${debug}"
excludes="org/w3c/jigadm/** org/w3c/jigedit/**"
@@ -111,6 +115,7 @@
<!-- =================================================================== -->
<target name="compile.admin" depends="compile.core">
<javac srcdir="${src.dir}"
+ encoding="iso-8859-1"
destdir="${build.admin.classes}"
debug="${debug}"
includes="org/w3c/jigadm/**"
@@ -122,7 +127,8 @@
<!-- Compiles the edit package -->
<!-- =================================================================== -->
<target name="compile.edit" depends="compile.core">
- <javac srcdir="${src.dir}"
+ <javac srcdir="${src.dir}"
+ encoding="iso-8859-1"
destdir="${build.edit.classes}"
debug="${debug}"
includes="org/w3c/jigedit/**"
@@ -173,7 +179,9 @@
<target name="javadocs" depends="prepare">
<mkdir dir="${build.javadocs}"/>
<javadoc packagenames="${packages}"
+ encoding="iso-8859-1"
sourcepath="${src.dir}"
+ classpathref="build.classpath"
destdir="${build.javadocs}"
author="true"
version="true"
|
GitWeb
