Vince Vielhaber writes:
> Who generated the PDF docs for 7.2? Remember how it was done? Is
> there a script somewhere for it?
I created the ones for 7.2. I just used 'gmake admin.pdf' etc. after some
heavy stylesheet hacking, but I hope that that won't be necessary again.
I'll look into it this week.
--
Peter Eisentraut peter_e(at)gmx(dot)net