Alvaro Herrera <alvherre@commandprompt.com> writes:
> Just applied it. I checked the HTML output and it looks good. I
> couldn't generate the PDF now; it died like this:
> ---! /var/lib/texmf/web2c/pdftex/pdfjadetex.fmt doesn't match pdftex.pool
> (Fatal format file error; I'm stymied)
That's an installation problem...
I can still build the .pdf, but only if I have a jadetex.cfg with a
modified FlowObjectSetup macro as per
http://archives.postgresql.org/pgsql-docs/2010-04/msg00022.php
I'm not entirely sure that that macro is right, but we really are going
to need to do something about it soon, if we'd like people to be able
to build the beta docs. Anybody have any comments?
regards, tom lane
