use utf-8 encoding for all HTML output

Create issue
Issue #2302 resolved
Roland Haas created an issue

Currently only the ThornGuideHTML output uses utf-8 encoding in HTML output files, while the others use latin1.

The pull request

uses the same htlatex options for all HTML output and also checks for some htlatex warnings / errors.

Comments (3)

  1. Log in to comment