diff options
| -rwxr-xr-x | make-man-index.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/make-man-index.py b/make-man-index.py index 1e67287c08..8789d995ec 100755 --- a/make-man-index.py +++ b/make-man-index.py @@ -72,5 +72,7 @@ hr = SubElement(body, 'hr') p = SubElement(body, 'p') p.text = "This index contains %s entries, referring to %i individual manual pages." % (len(index), len(argv)-1) +if hasattr(stdout, "buffer"): + stdout = stdout.buffer prettify(html) stdout.write(tostring(html)) |