Build documentation index

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

diff --git a/doc/org.eclipse.tracecompass.doc.user/plugin.xml b/doc/org.eclipse.tracecompass.doc.user/plugin.xml
index 8236399816809b844d7c4b7307c470a48b543a70..43800d9f48578dac4e9a10e199c5ac4d28287763 100644 (file)
--- a/doc/org.eclipse.tracecompass.doc.user/plugin.xml
+++ b/doc/org.eclipse.tracecompass.doc.user/plugin.xml
@@ -6,5 +6,8 @@
       <toc
             file="doc/User-Guide-toc.xml"
             primary="true" />
+      <index
+            path="index/">
+      </index>
    </extension>
 </plugin>