Recently I had need to produce pdf files of some man pages simple because the are far easier to print and review onscreen. The following snippet added to my .bash_profile does the trick.
# Convert man pages to pdf
man2pdf()
{
m2pfile=”/tmp/${1}-m2p.pdf”
if [ ! -s $m2pfile ]; then # is it there and > zero bytes
[...]


