This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Patch: Documenting tools necessary for GCC [take 2]
> From: "Joseph S. Myers" <jsm28@cam.ac.uk>
>
> On Fri, 6 Jun 2003, Kaveh R. Ghazi wrote:
>
> > How/when does the install.texi2html get run on the webserver? Cron?
>
> update_web_docs (see maintainer-scripts) checks out all the Texinfo
> manuals, install.texi2html and texinfo.tex and generates the online
> documentation, including running install.texi2html.
But is this done automatically in cron or needs manual intervention?
If cron, how often?
--
Kaveh R. Ghazi ghazi@caip.rutgers.edu