Questi comandi sono rivolti agli amanti della shell. Per convertire una pagina man in formato pdf è molto semplice, basta eseguire dei semplici passaggi:
man -t man_scelto > man_scelto.ps
ps2pdf man_scelto.ps && rm-f man_scelto.ps
Facendo l’esempio con la pagina man di mplayer:
man -t mplayer> mplayer.ps
ps2pdf mplayer.ps && rm -f mplayer.ps
E’ molto piu’ elegante e funzionale questo:
man -t mplayer | ps2pdf14 – mplayer.pdf
Elegante forse sì..funzionale nessuno dei due 😉
interessante!