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>
