Yes "html2pdf" (google for it) is one. AFAIK the binaries are limited,
but sources are available. Another alternative you may able to use is
OpenOffice.org (and extendedPDF if you want to have a table of content).
You may use wget as well to download (and concanate) html-files.
