This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[wwwdocs] Shuffle entries in the footer and remove margin at the bottom
- From: Gerald Pfeifer <gerald at pfeifer dot com>
- To: gcc-patches at gcc dot gnu dot org
- Date: Fri, 15 Apr 2011 19:32:51 +0200 (CEST)
- Subject: [wwwdocs] Shuffle entries in the footer and remove margin at the bottom
This concludes this mini project. :-)
Committed and the pages on gcc.gnu.org regenerated; www.gnu.org will
follow over night.
Gerald
Index: style.mhtml
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/style.mhtml,v
retrieving revision 1.115
diff -u -r1.115 style.mhtml
--- style.mhtml 12 Apr 2011 21:11:23 -0000 1.115
+++ style.mhtml 15 Apr 2011 17:22:30 -0000
@@ -232,14 +232,10 @@
<div class="copyright">
-<p style="margin-top:0;">These pages are
-<a href="http://gcc.gnu.org/about.html";>maintained by the GCC team</a>.
-Last modified <date::format-time "YYYY-MM-DD"><!-- IGNORE DIFF
---><a href="http://validator.w3.org/check/referer";>.</a></p>
-
-<address>For questions related to the use of GCC, please consult these web
-pages and the <a href="http://gcc.gnu.org/onlinedocs/";>GCC manuals</a>. If
-that fails, the <a href="mailto:gcc-help@gcc.gnu.org";>gcc-help@gcc.gnu.org</a>
+<address style="margin-top:0;">For questions related to the use of GCC,
+please consult these web pages and the
+<a href="http://gcc.gnu.org/onlinedocs/";>GCC manuals</a>. If that fails,
+the <a href="mailto:gcc-help@gcc.gnu.org";>gcc-help@gcc.gnu.org</a>
mailing list might help.
Comments on these web pages and the development of GCC are welcome on our
developer list at <a href="mailto:gcc@gcc.gnu.org";>gcc@gcc.gnu.org</a>.
@@ -252,6 +248,11 @@
Verbatim copying and distribution of this entire article is
permitted in any medium, provided this notice is preserved.</p>
+<p style="margin-bottom:0;">These pages are
+<a href="http://gcc.gnu.org/about.html";>maintained by the GCC team</a>.
+Last modified <date::format-time "YYYY-MM-DD"><!-- IGNORE DIFF
+--><a href="http://validator.w3.org/check/referer";>.</a></p>
+
</div>
<!-- ==================================================================== -->