Meh! You can do this with wget and gs !1! Bewertet mit 5 von 5 Sternen
...if you have 1) no life and 2) a masochist affaire with the command line :)
Otherwise you definitively want to use this plugin. It's not only pretty perfect in translating layout and structural elements of HTML into PDF (including index, subindices, chapters etc.), it also is the only "honest" PDF generating extension I know (apart form CUPS-PDF - which actually is not an extension) as it really locally processes your request without involving questionabe third parties. Kudos!