You can use the HTML download attribute to specify that the target will be downloaded when The value of the attribute will be the name of the downloaded file. Let's assume you have a list of urls that point to html files – normal web pages, not trying the code, or else change the path to where the files are downloading.
An embeddable script that makes source-code snippets in HTML prettier. - google/code-prettify
The tool downloads all files from a website, including images and videos. Simply scrape the entire website and move all the html files to your new web host. Another way of adding a PDF file to your HTML document is using the