Re: [wwwdocs] Add link to @gnutools on Twitter

2013-08-16 Thread Alexandre Oliva
On Aug 12, 2013, Gerald Pfeifer wrote: > Based on another suggestion by David I also added a link to the > gnutools account on Google+. Patch below, gcc.gnu.org updated. I don't think it's good for the GNU project to direct people towards proprietary spying networks. How about moving these to

Re: [wwwdocs] Add link to @gnutools on Twitter

2013-08-13 Thread David Edelsohn
On Mon, Aug 12, 2013 at 8:49 PM, Gerald Pfeifer wrote: >> Does this also deserve a news post? I certainly found it to be >> interesting news! > > Sure. Want to add one, David? I am adding the following to News: diff -c -p -r1.888 index.html *** index.html 12 Aug 2013 00:01:45 - 1.888

Re: [wwwdocs] Add link to @gnutools on Twitter

2013-08-12 Thread Gerald Pfeifer
> Does this also deserve a news post? I certainly found it to be > interesting news! Sure. Want to add one, David? Based on another suggestion by David I also added a link to the gnutools account on Google+. Patch below, gcc.gnu.org updated. Gerald Index: style.mhtml =

Re: [wwwdocs] Add link to @gnutools on Twitter

2013-08-12 Thread James Greenhalgh
On Mon, Aug 12, 2013 at 01:20:03AM +0100, Gerald Pfeifer wrote: > David suggested adding this link, and I think it fits nicely. Does this also deserve a news post? I certainly found it to be interesting news! James

[wwwdocs] Add link to @gnutools on Twitter

2013-08-11 Thread Gerald Pfeifer
David suggested adding this link, and I think it fits nicely. Applied. Gerald Index: style.mhtml === RCS file: /cvs/gcc/wwwdocs/htdocs/style.mhtml,v retrieving revision 1.119 diff -r1.119 style.mhtml 160a161,164 > http://twitter.c