Is there a GUI- or commandline-based tool that can crawl a Javascript-heavy web site and save the ~50 pages encountered to .html files? Then I'd like to convert the HTML pages to PDF. Finally I'd like to generate a composite PDF. The end result is a PDF file containing documentation for offline reading.
(This is useful in case the internet is unreachable, but in order to repair the network problem you need access to online documentation)
