On Sun, 13 Nov 2011, Joseph S. Myers wrote:
>> Unless there are any objections, I am planning on checking this
>> in. (The script is generally run as gccadmin with group gcc.)
>> Affirmative notes welcome as well. :-)
> Seems fine to me.
Thanks, Joseph. I have now applied this to trunk and the g
On Sun, 13 Nov 2011, Gerald Pfeifer wrote:
> Benjamin maintains the libstdc++ manuals under /onlinedocs on
> gcc.gnu.org, but we keep running into permissions problems.
>
> The patch below addresses this such that he, and others in the
> gcc group with login access, can take care of such changes.
