search

cpitclaudel / alectryon

A collection of tools for writing technical documents that mix Coq code and prose.
MIT License
228 stars 36 forks source link

cli: Add explicit utf-8 encoding for files written as output #13

Closed palmskog closed 3 years ago

palmskog commented 3 years ago

According to my tests, this fixes #11.

cpitclaudel commented 3 years ago

Thanks! I pushed a follow-up that adds an encoding parameter to open() as well