wkhtmltopdf converts HTML to PDF. It can grab a page via HTTP/HTTPS or from a file, and I find its results are pretty good, which they should be, since it uses the WebKit rendering engine.
wkhtmltopdf http://mens.de my.pdf
Download the static binary (on Mac OS/X a single file) and
try it out.