diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/get_css_properties.py | 2 | ||||
| -rw-r--r-- | scripts/utility.py | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/scripts/get_css_properties.py b/scripts/get_css_properties.py index 3afe98e1..85a077aa 100644 --- a/scripts/get_css_properties.py +++ b/scripts/get_css_properties.py @@ -28,6 +28,6 @@ if __name__ == "__main__": data = json.load(data_request) names = set([p['property'] for p in data if p['property'] != '--*']) - with open('../pygments/lexers/_css_builtins.py', 'w') as builtin_file: + with open('../pygments/lexers/_css_builtins.py', 'w', encoding='utf-8') as builtin_file: builtin_file.write(HEADER) builtin_file.write(format_lines('_css_properties', sorted(names))) diff --git a/scripts/utility.py b/scripts/utility.py index 4d59a1b2..48056f2c 100644 --- a/scripts/utility.py +++ b/scripts/utility.py @@ -21,7 +21,7 @@ def unpack_output_file(path): skip_until_tokens = path.endswith('.txt') - for linenumber, line in enumerate(open(path).readlines()): + for linenumber, line in enumerate(open(path, encoding='utf-8').readlines()): line = line.strip() if not line: continue |