doc: Rename documentation external tool builders

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

diff --git a/doc/org.eclipse.tracecompass.gdbtrace.doc.user/.project b/doc/org.eclipse.tracecompass.gdbtrace.doc.user/.project
index 23881134735f83ae3b68b3d25838599aa0a2dee7..0ff39d0f3fabec0864b8047dc4a8775ef2175bc0 100644 (file)
--- a/doc/org.eclipse.tracecompass.gdbtrace.doc.user/.project
+++ b/doc/org.eclipse.tracecompass.gdbtrace.doc.user/.project
@@ -11,7 +11,7 @@
                        <arguments>
                                <dictionary>
                                        <key>LaunchConfigHandle</key>
-                                       <value>&lt;project&gt;/.externalToolBuilders/Help Builder.launch</value>
+                                       <value>&lt;project&gt;/.externalToolBuilders/Trace Compass GDB Tracepoint Analysis User Guide Builder.launch</value>
                                </dictionary>
                                <dictionary>
                                        <key>incclean</key>