Html2pdf

Htmp2pdf

to convert html files to pdf files under Debian:

sudo apt-get install htmldoc