Magnus Hagander <magnus(at)hagander(dot)net> writes:
> However, why does devel work fine when the others are broken. It's the
> exact same code that's run to load the docs. The *input* to the loader must
> also be different at some point.
HEAD is the only branch building the docs via XML, so it's hardly
unlikely that the input is different.
regards, tom lane