To make a PDF file of a manual page on Linux, this involves a very simple command.
Make a Postscript file from a manual page on Linux.
jason@jason-desktop:~$ man -t 3 printf > printf.ps |
Then convert the Postscript file to a PDF easily.
jason@jason-desktop:~$ ps2pdf printf.ps |
This is how easy it is to create a PDF file of a Linux man page.