Consolidate GCC web pages documentation (4/3)

[Gerald Pfeifer <gerald at pfeifer dot com>]

This nearly brings us to the goal of having just one page covering
this and simplifies language in about.html a bit on the way.

Applied.

Gerald

Index: about.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/about.html,v
retrieving revision 1.20
diff -u -r1.20 about.html
--- about.html	17 Feb 2014 01:03:10 -0000	1.20
+++ about.html	15 Mar 2014 11:43:01 -0000
@@ -14,14 +14,14 @@
 contributors</a>.</p>
 
 <p>The web effort was originally led by Jeff Law.  For the last decade
-or so Gerald Pfeifer has been leading the effort, but again, there are
+or so Gerald Pfeifer has been leading the effort, but there are
 <em>lots</em> of people who contribute.</p>
 
 <p>The web pages are under <a href="#cvs">CVS control</a> and you
 can <a href="http://gcc.gnu.org/cgi-bin/cvsweb.cgi/wwwdocs/";>browse
 the repository</a> online.
-The pages on gcc.gnu.org are updated "live" (that is, directly after a
-change has been made); www.gnu.org is updated once a day at 4:00 -0700
+The pages on gcc.gnu.org are updated "live" directly after a
+change has been made; www.gnu.org is updated once a day at 4:00 -0700
 (PDT).</p>
 
 <p>Please send feedback, problem reports and patches to our
@@ -83,6 +83,13 @@
 list.</li>
 </ol>
 
+<p>As changes are checked in, the respective pages are preprocessed
+via the script <code>wwwdocs/bin/preprocess</code> which in turn
+uses a tool called MetaHTML.  Among others, this preprocessing
+adds CSS style sheets, XML and HTML headers, and our standard
+footer.  The MetaHTML style sheet is in
+<code>wwwdocs/htdocs/style.mhtml</code>.</p>
+
 
 <h2 id="system">The host system</h2>
 
Index: projects/web.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/projects/web.html,v
retrieving revision 1.15
diff -u -r1.15 web.html
--- projects/web.html	17 Feb 2014 01:03:10 -0000	1.15
+++ projects/web.html	15 Mar 2014 11:43:01 -0000
@@ -11,12 +11,5 @@
 <p><a href="../contribute.html#webchanges">Contributing changes</a>
 to <a href="../about.html">our web pages</a> is simple.</p>
 
-<p>As changes are checked in, the respective pages are preprocessed
-via the script <code>wwwdocs/bin/preprocess</code> which in turn
-uses a tool called MetaHTML.  Among others, this preprocessing
-adds CSS style sheets, XML and HTML headers, and our standard
-footer.  The MetaHTML style sheet is in
-<code>wwwdocs/htdocs/style.mhtml</code>.</p>
-
 </body>
 </html>