To add such functionality to a Webpage, developers can convert the HTML content to PDF format; this article illustrates how. The method illustrated here to perform the conversion uses only open ...

But I'd like to convert them all to PDF ... shell script to read a list of local HTML files, and then tell Safari to "print" to a PDF of the same source name.