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