How to create pdfs from man pages


man -t page_name | ps2pdf - page_name.pdf


Sometimes this pdf actually looses some formatting (I don't have any idea why), so it might make more sense to create plain ps file

man -t page_name > page_name.ps


Note: You might want to change page size in /usr/share/groff_font/devps/DESC (by default it is set to letter there)