diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-11-07 03:04:25 (GMT) |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-11-08 02:25:36 (GMT) |
| commit | a3ce52fd5704247de2360f0e8423834113fe3a71 (patch) | |
| tree | 7bdd5557861621880d2b34a4dbf0c94747ea6c6c | |
| parent | 23994738f2d40816a2a60d717dd5d5e939f05c66 (diff) | |
| download | ghc-a3ce52fd5704247de2360f0e8423834113fe3a71.zip ghc-a3ce52fd5704247de2360f0e8423834113fe3a71.tar.gz ghc-a3ce52fd5704247de2360f0e8423834113fe3a71.tar.bz2 | |
users_guide: Set flags list file encoding
Otherwise this fails on Windows.
| -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 90d6921..dcc6743 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 |