diff --git a/docs/remove_lines.py b/docs/remove_lines.py
index 463b9a731..cc9b0bead 100644
--- a/docs/remove_lines.py
+++ b/docs/remove_lines.py
@@ -7,8 +7,13 @@
 # and to remove some extra newlines getting added
 
 import sys
+import codecs
+
 
 def remLines(delim, above, below):
+    WinReader = codecs.getreader('cp1252')
+    sys.stdin = WinReader(sys.stdin.buffer)
+
     buff = []
     line = sys.stdin.readline()
     while line: