PDF tools

PDF page manipulation

• pdftk - combines, removes, and rotates pages in PDFs
• pdfjam - resizes pages (by running through LaTeX)

PDF OCR

• ocrmypdf - creates PDF/A files and runs tesseract

==HTML to PDF--

• https://pypi.org/project/xhtml2pdf/
• https://github.com/dompdf/dompdf
• https://github.com/spipu/html2pdf
• https://wkhtmltopdf.org

Other sources:

• https://stackoverflow.com/questions/391005/convert-html-css-to-pdf-with-php