<?xml version="1.0"?>

<!-- Ant build file for the JIndex plugin for jEdit -->

<project name="JIndex" default="dist" basedir=".">

	<property name="jar.name"  value="${ant.project.name}.jar"/>

	<property name="src.dir" value="."/>
	<property name="build.dir" value="build"/>

	<property file="/home/damien/.jedit/build.properties" />

	<import file="${build.support}/plugin-build.xml" />

	<!--
	<target name="init">
		<mkdir dir="${build.dir}"/>
	</target>


	<target name="compile" depends="init">
		<javac
			srcdir="${src.dir}"
			destdir="${build.dir}"
			deprecation="on"
			includeJavaRuntime="yes"
		>
			<classpath refid="project.class.path"/>
		</javac>
	</target>


	<target name="dist" depends="compile">
		<mkdir dir="${install.dir}"/>
		<jar jarfile="${install.dir}/${jar.name}">
			<fileset dir="${build.dir}"/>
			<fileset dir="${src.dir}">
				<include name="actions.xml"/>
				<include name="dockables.xml"/>
				<include name="jindex/jindex.dtd"/>
				<include name="**/*.props"/>
				<include name="**/*.html"/>
				<include name="**/*.gif"/>
				<include name="**/*.txt"/>
			</fileset>
		</jar>
	</target>


	<target name="clean">
		<delete dir="${build.dir}"/>
		<delete>
			<fileset dir="." includes="**/*~" defaultexcludes="no"/>
		</delete>
	</target>
	-->

	<selector id="packageFiles">
		<or>
			<filename name="jindex/images/*.gif" />
			<filename name="jindex/jindex.dtd" />
			<filename name="index.html" />
		</or>
	</selector>
	
	<target name="dist" depends="clean,build" />

	<target name="build.prepare">
		<echo>Plugins dir: ${jedit.plugins.dir}</echo>
	</target>

	<path id="project.class.path">
		<pathelement location="${jedit.plugins.dir}/InfoViewer.jar"/>
	</path>

</project>