Sign in
eclipse
/
dltk
/
org.eclipse.dltk.sh
/
1bf836c3cc806644a1ff495c3bb29a05bb223ec5
/
.
/
plugins
/
org.eclipse.dltk.sh.doc
/
build.xml
blob: 52abed23ae8d383b0afc5521868ba7f936f42dc7 [
file
] [
log
] [
blame
]
<?
xml version
=
"1.0"
encoding
=
"UTF-8"
?>
<project
name
=
"Build Help Indexes"
default
=
"build.index"
basedir
=
"."
>
<target
name
=
"build.index"
if
=
"eclipse.running"
>
<help.buildHelpIndex
manifest
=
"plugin.xml"
destination
=
"."
/>
</target>
</project>