diff --git a/doc/manual/source/conf.py b/doc/manual/source/conf.py index 104620484b851df2a63af5c1f4f60ae5399cedc2..2521e3f83d4fd8a88cb1ca51b687030412247fd7 100644 --- a/doc/manual/source/conf.py +++ b/doc/manual/source/conf.py @@ -71,7 +71,6 @@ latex_elements = { warningBorderColor={RGB}{255,50,50},OuterLinkColor={RGB}{34,139,34}, \ InnerLinkColor={RGB}{51,51,255},TitleColor={RGB}{51,51,255}', 'papersize': 'a4paper', - 'preamble': r'\DeclareUnicodeCharacter{200B}{}', # Part of the workaround for #1707 } latex_documents = [