Skip to content

Convert HTML pages into Unicode #8

Description

@hpreusse

Our nice quality checker lintian reports that some (generated) HTML files contain national encoding, many files for the french part of the docs. Indeed, "file" prints something like

hille@debian-amd64-sid:~/devel/zzz_empty/MWE$ file GoingfurtherOthertools.html
GoingfurtherOthertools.html: HTML document, Non-ISO extended-ASCII text

According to the tex4ht people, one needs to specify to create utf-8 at the command line or one should use make4ht instead. I tested both, I can confirm that both methods works; in addition the tex4ht.env needs to be removed.

Based on this I created a patch (the alternative option make4ht is contained but commented). If you need me to create a pull request for this patch, call back.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions