diff options
author | Gleb Popov <6yearold@gmail.com> | 2020-04-18 23:02:39 +0400 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-05-21 12:15:26 -0400 |
commit | b7a6b2f4c690a9711339462114a538a85dcb7d83 (patch) | |
tree | 84154a10c54a385ef78a06108841ff18225b12de /docs | |
parent | edc2cc588add3f23b3650f15d3f495943f2c06f9 (diff) | |
download | haskell-b7a6b2f4c690a9711339462114a538a85dcb7d83.tar.gz |
gitlab-ci: Set locale to C.UTF-8.
Diffstat (limited to 'docs')
-rwxr-xr-x | docs/users_guide/compare-flags.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/compare-flags.py b/docs/users_guide/compare-flags.py index 5b588d99e0..5f0a1c9741 100755 --- a/docs/users_guide/compare-flags.py +++ b/docs/users_guide/compare-flags.py @@ -62,7 +62,7 @@ def main() -> None: parser = argparse.ArgumentParser() parser.add_argument('--ghc', type=argparse.FileType('r'), help='path of GHC executable') - parser.add_argument('--doc-flags', type=argparse.FileType('r'), + parser.add_argument('--doc-flags', type=argparse.FileType(mode='r', encoding='UTF-8'), help='path of ghc-flags.txt output from Sphinx') args = parser.parse_args() |