diff options
| -rwxr-xr-x | doc/postprocess.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/postprocess.py b/doc/postprocess.py index f0ca22cd5..257f84806 100755 --- a/doc/postprocess.py +++ b/doc/postprocess.py @@ -23,7 +23,7 @@ def main(): p.error('unknown mode %s' % mode) for fn in args: - f = open(fn, 'r') + f = open(fn, 'r', encoding="utf-8") try: if mode == 'html': lines = process_html(fn, f.readlines()) @@ -32,7 +32,7 @@ def main(): finally: f.close() - f = open(fn, 'w') + f = open(fn, 'w', encoding="utf-8") f.write("".join(lines)) f.close() |