doc: Rename documentation external tool builders

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

diff --git a/doc/org.eclipse.tracecompass.rcp.doc.user/.project b/doc/org.eclipse.tracecompass.rcp.doc.user/.project
index 4eebc4802ea050c2b2a0337c314adf1b56f2582c..161c118b0e0d79268cd99d1d16e665d91bf732da 100644 (file)
--- a/doc/org.eclipse.tracecompass.rcp.doc.user/.project
+++ b/doc/org.eclipse.tracecompass.rcp.doc.user/.project
@@ -11,7 +11,7 @@
                        <arguments>
                                <dictionary>
                                        <key>LaunchConfigHandle</key>
-                                       <value>&lt;project&gt;/.externalToolBuilders/RCP Help Builder.launch</value>
+                                       <value>&lt;project&gt;/.externalToolBuilders/Trace Compass RCP User Guide Builder.launch</value>
                                </dictionary>
                                <dictionary>
                                        <key>incclean</key>