man pages sind ne feine Sache! Wer solch feine Sachen auch als PDF haben möchte kann sich unter MAC OS folgendes in die .profile oder .bash_profile oder sonstwas (je nach dem welche shell man nimmt legen:
pman()
{
PMANFILE="/tmp/pman-${1}.pdf"
if [ ! -e $PMANFILE ]; then # only create if it doesn't already exist
man -t "${1}" | pstopdf -i -o "$PMANFILE"
fi
if [ -e $PMANFILE ]; then # in case create failed
open -a /Applications/Preview.app/ "$PMANFILE"
fi
}
Welche Shell man grad benutzt, kann man mittels echo $SHELL herausfinden und hier kann man nachlesen, wie die entsprechenden Konfigurationsdateien heißen müssen.