use utf-8 encoding for all HTML output

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

https://bitbucket.org/cactuscode/cactus/pull-requests/68/use-utf-8-encoding-for-all-html-output/diff

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

Comments (3)

  1. Log in to comment