diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-07-28 15:22:21 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-07-28 15:22:21 -0700 |
| commit | 8ecdcf60123cdc8c80995de94214a4aa7aa1afb7 (patch) | |
| tree | f7a4ce60d86f7432f2b15af4eca60616e1736d7b | |
| parent | f781e9379efe10c278154f82d85bd3cbf0ffed0d (diff) | |
Another encoding fix in makespec.py.
| -rwxr-xr-x | tools/makespec.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/makespec.py b/tools/makespec.py index 38c7d3b..d182105 100755 --- a/tools/makespec.py +++ b/tools/makespec.py @@ -167,7 +167,7 @@ elif specformat == "html": else: err("Error converting markdown version of spec:\n") - err(err_out) + sys.stderr.buffer.write(err_out) exit(1) exit(0) |