I've created PDF versions of the docs. I haven't hand-edited them yet to remove some formatting artifacts, but they're much better than printing out the HTML. Should I post them somewhere, and if so where?
-- Peter Eisentraut peter_e(at)gmx(dot)net
Responses
Re: PDF docs at 2002-02-07 19:29:56 from Vince Vielhaber