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.
> 
> 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.

-- 
Joseph S. Myers
jos...@codesourcery.com

Reply via email to