Magnus Hagander <mag...@hagander.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

Reply via email to