[wwwdocs] Make develop.html more readable

[Gerald Pfeifer]

On Thu, 7 Aug 2003, Steven Bosscher wrote:
> In the mean time, I've commited the patch as is -- what we have now has
> been there for the last two years, no rush to fix it now :)

I hope the following is an improvement in that direction:

 Update note on important targets, getting rid of the footnote on the way.

Installed.

Gerald

Index: develop.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/develop.html,v
retrieving revision 1.35
diff -u -3 -p -r1.35 develop.html
--- develop.html	14 Aug 2003 10:14:26 -0000	1.35
+++ develop.html	14 Aug 2003 17:52:14 -0000
@@ -145,8 +145,7 @@ so it is unlikely that many conflicts wi
 <h3>Patch Reversion</h3>

 <p>If a patch is committed which introduces a regression on any target
-which the Steering Committee considers to be important <a href="#1">[1]</a>,
-and if:</p>
+which the Steering Committee considers to be important and if:</p>

 <ul>
 <li>the problem is reported to the original poster;</li>
@@ -158,6 +157,9 @@ and if:</p>

 <p>then they may revert the patch.</p>

+<p>(The list of important targets will be revised at the beginning of each
+release cycle, if necessary, and is part of the release criteria.)</p>
+
 <p>After the patch has been reverted, the poster may appeal the
 decision to the Steering Committee.</p>

@@ -300,12 +302,6 @@ stages of development, branch points, an
        :                                         :
        v                                          v
 </pre>
-
-<hr />
-
-<p id="one">[1] The Steering Committee is planning to prepare a list of such
-targets.  The list will be revised at the beginning of each release
-cycle, if necessary.</p>

 </body>
 </html>