This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [wwwdocs]: Patch for wwwdocs
On Fri, 28 Oct 2005, Daniel Berlin wrote:
>> I did, but it's not updating the generated file (check gcc.gnu.org vs
>> style.mhtml).
> I fixed this manually for now in the generated file.
I saw the .swp file. ;-)
>
> iant says:
>
> <iant> DannyB: looks like a bug in the wwwdocs/bin/preprocess script
> <iant> DannyB: It just ignores changes to .mhtml files
> <iant> File a bug report, I guess
Yeah, that's a missing feature: if the .mhtml file is updated, the
preprocess script ought to preprocess the entire web space, because
it cannot tell which files might have changed.
I reran wwwdocs/bin/preprocess manually and everything should be updated
now (including http://gcc.gnu.org/java, which also has a navigation bar).
Gerald