Build documentation index

[deliverable/tracecompass.git] / doc / org.eclipse.tracecompass.rcp.doc.user / build.xml

diff --git a/doc/org.eclipse.tracecompass.rcp.doc.user/build.xml b/doc/org.eclipse.tracecompass.rcp.doc.user/build.xml
index d723850094f1bb07e7ff3e9753b248e1ca360cd5..6f4e1ca95868979f1e79f1c1544efb3f24855ea4 100644 (file)
--- a/doc/org.eclipse.tracecompass.rcp.doc.user/build.xml
+++ b/doc/org.eclipse.tracecompass.rcp.doc.user/build.xml
@@ -56,5 +56,7 @@
         <fileset dir="doc" includes="**/*.xml" />
       </delete>
     </target>
-
+    <target name="build.index" description="Builds search index for the plug-in" if="eclipse.running">
+      <help.buildHelpIndex manifest="${basedir}/plugin.xml" destination="${basedir}" />
+    </target>
 </project>