diff options
Diffstat (limited to 'doc/conf.py')
| -rw-r--r-- | doc/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/conf.py b/doc/conf.py index e63c2b0c8..3cde5bf3b 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -56,7 +56,7 @@ latex_logo = '_static/sphinx.png' latex_elements = { 'fontpkg': '\\usepackage{palatino}', 'passoptionstopackages': '\\PassOptionsToPackage{svgnames}{xcolor}', -# fix missing index entry due to RTD doing only once pdflatex after makeindex + # fix missing index entry due to RTD doing only once pdflatex after makeindex 'printindex': r''' \IfFileExists{\jobname.ind} {\footnotesize\raggedright\printindex} |