El formato HTML puede ser transformado en un documento PDF si lo deseas. Puedes hacerlo de diferentes formas. Una de ellas es instalando en tu distribución GNU/Linux la app HTMLDOC. Se trata de una app con una sencilla GUI, aunque también lo puedes usar desde la línea de comandos. Es multiplataforma y de código abierto, además puedes ver más detalles en su web oficial. Para descargar el tarball con el código fuente que puedes compilar, puedes ir a su sitio de GitHub.