1 files changed, 11 insertions, 8 deletions
diff --git a/org.eclipse.debug.core/schema/launchOptions.exsd b/org.eclipse.debug.core/schema/launchOptions.exsd
index f3527f010..f9029829a 100644
--- a/org.eclipse.debug.core/schema/launchOptions.exsd
+++ b/org.eclipse.debug.core/schema/launchOptions.exsd
@@ -91,14 +91,17 @@ Launch options are used as modifiers when executing a launch configuration.
          <meta.section type="examples"/>
       </appInfo>
       <documentation>
-          &lt;extension
-         point=&quot;org.eclipse.debug.core.launchOptions&quot;&gt;
-      &lt;launchOption
-            id=&quot;org.eclipse.debug.core.debug&quot;
-            label=&quot;Debug&quot;
-            option=&quot;debug&quot;&gt;
-      &lt;/launchOption&gt;
-   &lt;/extension&gt;   
+         &lt;p&gt;
+&lt;pre&gt;
+ &lt;extension point=&quot;org.eclipse.debug.core.launchOptions&quot;&gt;
+   &lt;launchOption
+       id=&quot;org.eclipse.debug.core.debug&quot;
+       label=&quot;Debug&quot;
+       option=&quot;debug&quot;&gt;
+   &lt;/launchOption&gt;
+  &lt;/extension&gt;
+&lt;/pre&gt;
+&lt;/p&gt;   
       </documentation>
    </annotation>