Vince Vielhaber <vev(at)michvhf(dot)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