Пока я вижу одно решение:
Есть ли еще что-нибудь, что предлагается?
используя http://wkhtmltopdf.org/, вы можете сделать это следующим образом:
$> wkhtmltopdf http://superuser.com su.pdf
Одной из альтернатив HTMLDOC является Prince.
Плюсы: Prince может обрабатывать большую часть CSS (чего не может HTMLDOC) и использовать почти все шрифты (где PDF-файлы HTMLDOC содержат только Helvetica, Times и Courier) и переводить ввод HTML/XML в действительно хорошо выглядящие страницы.
Минусы: в отличие от HTMLDOC, Prince не является программным обеспечением с открытым исходным кодом (хотя оно бесплатное, как в пиве для частного использования, с нанесением довольно ненавязчивого логотипа на страницы PDF, созданные с его помощью).
PrinceXML сделан небольшой австралийской компанией и, похоже, также способствует выводу PDF-документов Google Документов.
HTMLDOC «достаточно хорош» для нужд большинства людей (а также предоставляет довольно много функций, которых нет у Принса).