md_to_c.py: use utf8open() for batch output, fixes #4863

diff --git a/support/doc/md_to_c.py b/support/doc/md_to_c.py
index 6feb8100bec6b341f198ad0b9fbe7738e40ee960..c009ed4416b1765a8d8c4513000b97b785aa7bc8 100755 (executable)
--- a/support/doc/md_to_c.py
+++ b/support/doc/md_to_c.py
@@ -465,7 +465,7 @@ if BATCH:
   out = argv_get('out')
   name = argv_get('name')
   list = argv_get('list')
-  fp = open(out, "a+")
+  fp = utf8open(out, "a+")
   for l in list.split(' '):
     input = inpath % l
     print("Markdown: %s" % input)