Quickly Convert Web Pages And HTML Files To PDF From Linux Command Line
It can be useful to directly create PDF documents from HTML files through the Linux command line.
HTMLDOC is a useful tool that does that. For using it in Debian based distros, first open Terminal and install it as follows (this example uses Linux Mint):
sudo apt install htmldoc
Once installed, it can be directly used from the Terminal.
To convert an existing HTML file to PDF, the syntax is:
htmldoc...