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
