Build documentation index

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

diff --git a/doc/org.eclipse.tracecompass.gdbtrace.doc.user/plugin.xml b/doc/org.eclipse.tracecompass.gdbtrace.doc.user/plugin.xml
index 151a1fa4dc98ac0763393281be19f5ba60f620f2..86a1cf42ad3d412ac9a0627da0cce6206dfc12d3 100644 (file)
--- a/doc/org.eclipse.tracecompass.gdbtrace.doc.user/plugin.xml
+++ b/doc/org.eclipse.tracecompass.gdbtrace.doc.user/plugin.xml
@@ -14,5 +14,8 @@
       <toc
             file="doc/User-Guide-toc.xml"
             primary="true" />
+      <index
+            path="index/">
+      </index>
    </extension>
 </plugin>