PDF generation can also be done via HTML using wkhtmltopdf or weasyprint. Wkhtmltopdf isn't able to handle internal links correctly (those beginning with a # in html), so the table of contents doesn't work. Weasyprint does this correctly, but it doesn't handle numbered lists not starting at 1. My project requires both, as well as special unicode characters which latex can't handle, so I'm looking for some additional tool to convert from HTML to PDF correctly.