[wwwdocs] Add link to Git mirror on main page

[wwwdocs] Add link to Git mirror on main page

[Diego Novillo]

 From a thread on IRC.  We don't have a prominent link to the Git mirror 
and it's becoming one of the favourite ways for people to access the repo.

Gerald, OK for the main page?  I can't seem to be able to preview this 
change locally (dunno how the style.mhtml file gets loaded).


Thanks.  Diego.

Index: style.mhtml
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/style.mhtml,v
retrieving revision 1.117
diff -u -d -u -p -r1.117 style.mhtml
--- style.mhtml 25 Apr 2011 20:48:25 -0000      1.117
+++ style.mhtml 22 Mar 2012 17:58:50 -0000
@@ -186,6 +186,7 @@
    <tr><td <nav-title-style> >"Live" Sources</td></tr>
    <tr><td <nav-body-style> >
    <a href="<get-var BACKPATH>svn.html">SVN read access</a><br />
+  <a href="http://gcc.gnu.org/wiki/GitMirror">Git read access</a><br />
    <a href="<get-var BACKPATH>rsync.html">Rsync read access</a><br />
    <a href="<get-var BACKPATH>svnwrite.html">SVN write access</a><br />
    </td></tr>

Re: [wwwdocs] Add link to Git mirror on main page

[Gerald Pfeifer]

On Thu, 22 Mar 2012, Diego Novillo wrote:
> From a thread on IRC.  We don't have a prominent link to the Git mirror 
> and it's becoming one of the favourite ways for people to access the 
> repo.
> 
> Gerald, OK for the main page?  I can't seem to be able to preview this 
> change locally (dunno how the style.mhtml file gets loaded).

This is preprocessed on the server (and in this case will become
active within 0-24 hours, depends on when it goes in).

I wasn't sure how "official" the Git repo was, but if you feel
it's sufficiently stable and useful, go ahead!

Gerald