Magnus,
> Should make no difference - the files are not removed during build, they're
> overwritten. In theory if a mirror rsynced right in the middle of build,
> *one* file could be broken.
The issue appears to be that our left-hand menu links are created
without .html, and that doesn't resolve on all mirrors. We're going to have
to change our way of generating the menus.
--
Josh Berkus
PostgreSQL @ Sun
San Francisco