Dans le fichier .bashrc, il faut ajouter la fonction suivante :

man2pdf () {
  if whatis ${1} > /dev/null; then
    man -Tpdf ${1} > ${1}.pdf
  fi  
}