convert comments to utf8

maranget / hevea

Hevea is a fast latex to html translator

http://hevea.inria.fr

Other

97 stars 12 forks source link

convert comments to utf8 #67

Open treinen opened 2 years ago

treinen commented 2 years ago

Hello, some of the comments in *.hva files still have iso8859-1 encoded characters, and could migrate to utf8. This might also be the case for some example files but I didn't look into these yet. Patch here:

https://salsa.debian.org/ocaml-team/hevea/-/blob/master/debian/patches/typos

maranget commented 2 years ago

Hi @treinen, the patch is the same as the one of issue #66.

treinen commented 2 years ago

Bonjour @maranget Sorry: https://salsa.debian.org/ocaml-team/hevea/-/blob/master/debian/patches/iso8859-to-utf8

maranget commented 2 years ago

Committed 8d9a139d63f485fcd76acb1d5c324d71b561a472, thanks.