This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Patch to update_web_docs
- To: "Joseph S. Myers" <jsm28 at cam dot ac dot uk>
- Subject: Re: Patch to update_web_docs
- From: Jeffrey A Law <law at redhat dot com>
- Date: Wed, 14 Mar 2001 20:32:28 -0700
- cc: gcc-patches at gcc dot gnu dot org
- Reply-To: law at redhat dot com
In message <Pine.LNX.4.32.0103150102470.17530-100000@kern.srcf.societies.cam.
ac.uk>you write:
> Now texi2html on gcc.gnu.org has been upgraded to a more recent
> version, it is desirable for onlinedocs generation to use that version
> rather than a local gccadmin version. The following has been tested
> by regenerating onlinedocs with the modified update_web_docs; OK to
> commit, replace update_web_docs as used by gccadmin with the patched
> version, and remove gccadmin's own copy of texi2html?
Sounds great to me.
jeff