From 59db74c77d3b1735d51ed6c57df3155408ddc5ad Mon Sep 17 00:00:00 2001
From: Stefan Bienert <stefan.bienert@unibas.ch>
Date: Mon, 15 Jun 2020 16:02:40 +0200
Subject: [PATCH] Enable documentation parser to deal with unicode
---
doc/make.py | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/doc/make.py b/doc/make.py
index f928ba1c4..70bac2a58 100644
--- a/doc/make.py
+++ b/doc/make.py
@@ -31,7 +31,8 @@ def _RequireCopy(in_name, out_name):
pattern = re.compile(r'\.\.\s+image\:\:\s+([a-zA-Z0-9_\-//]+\.png|[a-zA-Z0-9_\-//]+\.jpg)')
def _CheckImage(in_name):
- file = open(in_name, "r")
+ file = open(in_name, "r", encoding='utf8')
+ print("IN", in_name)
text = file.read()
picture_list = pattern.findall(text)
file.close()
--
GitLab