Commit a3ce52fd authored by Ben Gamari's avatar Ben Gamari 🐢 Committed by Marge Bot

users_guide: Set flags list file encoding

Otherwise this fails on Windows.
parent 23994738
Pipeline #12400 failed with stages
in 183 minutes and 20 seconds
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment