Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

[b1c821]: build.xml Maximize Restore History

Download this file

build.xml    38 lines (30 with data), 1.4 kB

 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
<project name="GitPlugin" default="build" basedir=".">
<!-- ================================================== -->
<!-- Build file for the GitPlugin -->
<!-- :tabSize=4:indentSize=4:noTabs=false: -->
<!-- ================================================== -->
<property file="build.properties" />
<property file="../build.properties" />
<property name="javadoc.packagenames" value="git.*" />
<property name="plugin.dependencies" value="CommonControls,ProjectViewer" />
<property name="docs-proc.target" value="none" />
<property name="dist.target" value="dist.complete" />
<property name="compiler.source" value="1.6" />
<property name="compiler.target" value="1.6" />
<property name="jedit.plugins.dir" value="${install.dir}" />
<import file="${build.support}/plugin-build.xml" />
<!-- Extra files that get put into the jar file, above and beyond
the default set (which always includes actions,dockables,services.xml,
*.props, etc -->
<!-- Add needed plugins to the classpath. -->
<path id="project.class.path">
<pathelement location="${jedit.plugins.dir}/ProjectViewer.jar"/>
<pathelement location="${jedit.plugins.dir}/CommonControls.jar" />
</path>
<selector id="packageFiles">
<or>
<filename name="index.html" />
<filename name="**/*.png"/>
</or>
</selector>
</project>