diff options
Diffstat (limited to 'doc/conf.py')
| -rw-r--r-- | doc/conf.py | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/doc/conf.py b/doc/conf.py index 724d355d0..9cd3749c8 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -64,12 +64,7 @@ latex_elements = { 'passoptionstopackages': '\\PassOptionsToPackage{svgnames}{xcolor}', 'preamble': '\\DeclareUnicodeCharacter{229E}{\\ensuremath{\\boxplus}}', 'fvset': '\\fvset{fontsize=auto}', - # fix missing index entry due to RTD doing only once pdflatex after makeindex - 'printindex': r''' -\IfFileExists{\jobname.ind} - {\footnotesize\raggedright\printindex} - {\begin{sphinxtheindex}\end{sphinxtheindex}} -''', + 'printindex': '\\footnotesize\\raggedright\\sphinxprintindex', } latex_show_urls = 'footnote' latex_use_xindy = True |