« Discussion Trucs:Convertir les pages man en pdf » : différence entre les versions
Aller à la navigation
Aller à la recherche
mAucun résumé des modifications |
(Aucune différence)
|
Dernière version du 22 juillet 2008 à 16:19
Sans passer par un fichier, mais directement en redirigant stdout de man vers stdin de ps2pdf :
man -t bash | ps2pdf - bash.pdf