Re: Blanks in the first line before the first word in the code boxes

Magnus Hagander <magnus@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