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@gmx.net
Чтобы сделать работу с сайтом удобнее, мы используем cookie и аналитический сервис «Яндекс.Метрика». Продолжая пользоваться сайтом, вы соглашаетесь с их использованием.