In this thread you will find a list of “HTML to PDF” converters, e.g.:
“Simple shell utility to convert html to pdf using the webkit rendering engine, and qt.“
You can get its binary executable here. Then, you can convert an html to pdf like this:
wkhtmltopdf-i386 test.html test.pdf
The result will be similar to exporting the page in PDF in a browser. This is not a surprise, wkhtmltopdf contains the WebKit rendering engine.