diff options
author | jfbu <jfbu@free.fr> | 2018-07-31 10:46:48 +0200 |
---|---|---|
committer | jfbu <jfbu@free.fr> | 2018-07-31 10:46:48 +0200 |
commit | f0067f4a040a8b37afa3029c54806da9e32772e6 (patch) | |
tree | 1deace2b6b2b210ba9984cdccbfea54ab62edc89 /doc/conf.py | |
parent | 8de8f087bd80929915c08d82720dd9c7773af9c2 (diff) | |
download | sphinx-git-f0067f4a040a8b37afa3029c54806da9e32772e6.tar.gz |
Revert "LaTeX: extend to all projects the #3742 fix for PDF builds at RTD"
This reverts commit 9b2aac68ead15067205470ec28c94af909c080c0.
Diffstat (limited to 'doc/conf.py')
-rw-r--r-- | doc/conf.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/conf.py b/doc/conf.py index 9cd3749c8..724d355d0 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -64,7 +64,12 @@ latex_elements = { 'passoptionstopackages': '\\PassOptionsToPackage{svgnames}{xcolor}', 'preamble': '\\DeclareUnicodeCharacter{229E}{\\ensuremath{\\boxplus}}', 'fvset': '\\fvset{fontsize=auto}', - 'printindex': '\\footnotesize\\raggedright\\sphinxprintindex', + # 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}} +''', } latex_show_urls = 'footnote' latex_use_xindy = True |