diff options
| -rwxr-xr-x | doc/postprocess.py | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/doc/postprocess.py b/doc/postprocess.py index 257f84806..3955ad6c5 100755 --- a/doc/postprocess.py +++ b/doc/postprocess.py @@ -8,7 +8,9 @@ MODE is either 'html' or 'tex'. """ from __future__ import division, absolute_import, print_function -import re, optparse +import re +import optparse +import io def main(): p = optparse.OptionParser(__doc__) @@ -23,7 +25,7 @@ def main(): p.error('unknown mode %s' % mode) for fn in args: - f = open(fn, 'r', encoding="utf-8") + f = io.open(fn, 'r', encoding="utf-8") try: if mode == 'html': lines = process_html(fn, f.readlines()) @@ -32,7 +34,7 @@ def main(): finally: f.close() - f = open(fn, 'w', encoding="utf-8") + f = io.open(fn, 'w', encoding="utf-8") f.write("".join(lines)) f.close() |