diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-11-06 22:04:25 -0500 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-11-07 21:25:36 -0500 |
| commit | a3ce52fd5704247de2360f0e8423834113fe3a71 (patch) | |
| tree | 7bdd5557861621880d2b34a4dbf0c94747ea6c6c /docs | |
| parent | 23994738f2d40816a2a60d717dd5d5e939f05c66 (diff) | |
| download | haskell-a3ce52fd5704247de2360f0e8423834113fe3a71.tar.gz | |
users_guide: Set flags list file encoding
Otherwise this fails on Windows.
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/flags.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/users_guide/flags.py b/docs/users_guide/flags.py index 90d6921827..dcc6743d18 100644 --- a/docs/users_guide/flags.py +++ b/docs/users_guide/flags.py @@ -602,7 +602,7 @@ def process_print_nodes(app, doctree, fromdocname): node.generate_output(app, fromdocname) # Write out file listing all documented flags - with open(os.path.join(app.outdir, 'ghc-flags.txt'), 'w') as f: + with open(os.path.join(app.outdir, 'ghc-flags.txt'), 'w', encoding='utf-8') as f: flag_names = \ {name for flag in app.env.all_flags |