diff --git a/toMkdocs/toMkdocs.py b/toMkdocs/toMkdocs.py index d0cb9ad99fca5c4ea523367c47019ab653d5e00b..1ee9eebbe8dacde078ef71a6f17cf57d2e9250bc 100644 --- a/toMkdocs/toMkdocs.py +++ b/toMkdocs/toMkdocs.py @@ -133,7 +133,9 @@ def analyseMarkdown(filename:str) -> list[Clause]: print(f'[green]Analyzing "{filename}"') - with open(filename, 'r') as file: + # Read the file. + # Note: We use utf-8 and replace errors to avoid problems with special or unknown characters. + with open(filename, 'r', encoding = 'utf-8', errors = 'replace') as file: inLines = file.readlines() outClauses:list[Clause] = [Clause(0, '', '', [])]