Build documentation index

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

diff --git a/doc/org.eclipse.tracecompass.gdbtrace.doc.user/build.xml b/doc/org.eclipse.tracecompass.gdbtrace.doc.user/build.xml
index a2ad4bee6790ba9923bb65857d5f78ace7f89663..c1df03ee4ee35182dc2ce3aafd351e967992bf61 100644 (file)
--- a/doc/org.eclipse.tracecompass.gdbtrace.doc.user/build.xml
+++ b/doc/org.eclipse.tracecompass.gdbtrace.doc.user/build.xml
@@ -64,5 +64,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>