diff options
| author | jfbu <jfbu@free.fr> | 2018-07-15 13:43:13 +0200 |
|---|---|---|
| committer | jfbu <jfbu@free.fr> | 2018-07-15 15:24:25 +0200 |
| commit | 9b2aac68ead15067205470ec28c94af909c080c0 (patch) | |
| tree | dbd032f431fbec8aebb223b6a12549fbf992aedc /doc/conf.py | |
| parent | 1140e81df7ee9df1135ef9f35302ffd72d5bd764 (diff) | |
| download | sphinx-git-9b2aac68ead15067205470ec28c94af909c080c0.tar.gz | |
LaTeX: extend to all projects the #3742 fix for PDF builds at RTD
Refs: https://github.com/rtfd/readthedocs.org/issues/2857
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 732c4d4a0..31cb8e478 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' |