Re: PDF docs

Vince Vielhaber <vev@michvhf.com> writes:
> Who generated the PDF docs for 7.2?  Remember how it was done?  Is
> there a script somewhere for it?

Thomas has always done that in the past.  There is some basic info
about it in the docs:
http://www.ca.postgresql.org/users-lounge/docs/7.3/postgres/doc-build.html
(see B.3.3), but I got the impression that he always did a great deal
of manual tweaking in the process.

            regards, tom lane