This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]

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


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]