From 8ecdcf60123cdc8c80995de94214a4aa7aa1afb7 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Tue, 28 Jul 2015 15:22:21 -0700 Subject: Another encoding fix in makespec.py. --- tools/makespec.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) -- cgit v1.2.3