[platform-releng-dev] Patch for platform_doc_isv error

[Olivier Thomann <Olivier_Thomann@xxxxxxxxxx>]

Hi,

Here is a patch for the platform_doc_isv
error. I don't have the commit right to release the change. With the patch,
chkpii runs successfully.



Olivier
Index: reference/misc/runtime-options.html
===================================================================
RCS file: /home/eclipse/org.eclipse.platform.doc.isv/reference/misc/runtime-options.html,v
retrieving revision 1.2
diff -u -r1.2 runtime-options.html
--- reference/misc/runtime-options.html	15 Jun 2004 02:31:03 -0000	1.2
+++ reference/misc/runtime-options.html	15 Jun 2004 14:24:37 -0000
@@ -267,7 +267,7 @@
     determines what plug-ins will run as well as various other system settings.
     See the sections on <a href="#locations">locations</a> and <a href="#configurations">configurations</a> for
   more details.</dd>
-  <dt><a name="osgiconsole"/>osgi.console {-console} </dt>
+  <dt><a name="osgiconsole"></a>osgi.console {-console} </dt>
   <dd>if set to a non-null value, the OSGi console (if installed) is enabled.
     If the value is a suitable integer, it is interpreted as the port on which
     the console listens and directs its output
@@ -276,7 +276,7 @@
 Handy for investigating
   the state of the system.   </dd>
   <dt></dt>
-  <dt><a name="osgiconsoleclass"/>osgi.console.class</dt>
+  <dt><a name="osgiconsoleclass"></a>osgi.console.class</dt>
   <dd>the class name of the console to run if requested</dd>
   <dt><a name="osgidebug"></a>osgi.debug {-debug}</dt>
   <dd>if set to a non-null value, the platform is put in debug mode. If the value