1) Le traitement de texte Open Source, AbiWord , comprend une option de conversion entre tous les formats qu'il connaît sur la ligne de commande, y compris PDF, par exemple,
abiword --to=pdf filename.html
(Il gère également, par exemple, les fichiers MS Word .doc, .docx, .odt, .rtf, etc., à la fois en entrée et en sortie.)
Je sais qu'il est disponible pour Mac, même si je ne l'ai jamais utilisé sur un Mac.
2) Le ebook-convert
programme de ligne de commande de calibre (sur mac, vous devez suivre les instructions ici pour obtenir les outils de ligne de commande) est également utile pour de nombreux formats.
ebook-convert filename.html filename.pdf
Il peut gérer les entrées .rtf et .odt, ainsi que de nombreux formats de livres électroniques tels que .epub et .mobi.
3) PrinceXML peut être utilisé sur la ligne de commande et convertira très bien le HTML en PDF.
4) Il y a wkhtmltopdf , qui utilise le moteur webkit pour convertir HTML en PDF à partir de la ligne de commande. Je ne l'ai jamais essayé.
5) Je peux penser à d'autres méthodes utilisant, par exemple, ConTeXt ou pdflatex, mais elles s'impliquent de plus en plus.