diff options
| author | jfbu <jfbu@free.fr> | 2018-03-30 00:11:17 +0200 |
|---|---|---|
| committer | jfbu <jfbu@free.fr> | 2018-03-30 00:11:17 +0200 |
| commit | 39ce9d9ab924273f384107486f13a972f5c1f2ee (patch) | |
| tree | 1fe22d65e6a37cb77c30847ed237a014eaae859e /doc/conf.py | |
| parent | 1460e261faf8096a7b1752b254185351e17d0e1d (diff) | |
| download | sphinx-git-39ce9d9ab924273f384107486f13a972f5c1f2ee.tar.gz | |
Fix Unicode Character U+229E (SQUARED PLUS) breaks Sphinx docs in LaTeX
refs: PR #4794
Diffstat (limited to 'doc/conf.py')
| -rw-r--r-- | doc/conf.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/conf.py b/doc/conf.py index 3c8b9eae1..f5708465d 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -58,6 +58,7 @@ latex_logo = '_static/sphinx.png' latex_elements = { 'fontpkg': '\\usepackage{palatino}', 'passoptionstopackages': '\\PassOptionsToPackage{svgnames}{xcolor}', + 'preamble': '\\DeclareUnicodeCharacter{229E}{\\ensuremath{\\boxplus}}', # fix missing index entry due to RTD doing only once pdflatex after makeindex 'printindex': r''' \IfFileExists{\jobname.ind} |