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

2012-03-24 Thread 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


[wwwdocs] Add link to Git mirror on main page

2012-03-22 Thread 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 -  1.117
+++ style.mhtml 22 Mar 2012 17:58:50 -
@@ -186,6 +186,7 @@
>"Live" Sources
>
   SVN read access
+  http://gcc.gnu.org/wiki/GitMirror";>Git read access
   Rsync read access
   SVN write access