Unreviewed patches: gcc_update and update_web_docs (Ada-related)

[Joseph S. Myers]

On Fri, 31 May 2002, Florian Weimer wrote:

> The parts of the patch in
> 
> http://gcc.gnu.org/ml/gcc-patches/2002-05/msg01939.html
> 
> which are outside the gcc/ada branch have not been reviewed.

The update_web_docs changes are OK.  Please remember the corresponding
patch to onlinedocs/index.html to link to the new manuals for mainline.

-- 
Joseph S. Myers
jsm28@cam.ac.uk