If you have the source code of the generated HTML file, you can directly use Sphinx to generate PDF.