This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Patch to update_web_docs
>>>>> "Joseph" == Joseph S Myers <jsm28@cam.ac.uk> writes:
Joseph> Now texi2html on gcc.gnu.org has been upgraded to a more
Joseph> recent version, it is desirable for onlinedocs generation
Joseph> to use that version rather than a local gccadmin version.
Joseph> The following has been tested by regenerating onlinedocs
Joseph> with the modified update_web_docs; OK to commit, replace
Joseph> update_web_docs as used by gccadmin with the patched
Joseph> version, and remove gccadmin's own copy of texi2html?
Yes.
--
Mark Mitchell mark@codesourcery.com
CodeSourcery, LLC http://www.codesourcery.com