doxygen: parse the Doxyfile as UTF-8.

Otherwise it blows up on Doxyfiles with non-ASCII characters when system
locale is not UTF-8.

diff --git a/doxygen/dox2html5.py b/doxygen/dox2html5.py
index 8ab843dd644b40ad3a613744f18b61a369006880..7f3e8bb2cc1cb858710f422024ff6673a596d448 100755 (executable)
--- a/doxygen/dox2html5.py
+++ b/doxygen/dox2html5.py
@@ -2782,7 +2782,7 @@ list using <span class="m-label m-dim">&darr;</span> and
 
         return [i.replace('\\"', '"').replace('\\\'', '\'') for i in out], backslash
 
-    with open(doxyfile) as f:
+    with open(doxyfile, encoding='utf-8') as f:
         continued_line = None
         for line in f:
             line = line.strip()