diff options
| author | jfbu <jfbu@free.fr> | 2017-05-15 11:53:07 +0200 |
|---|---|---|
| committer | jfbu <jfbu@free.fr> | 2017-05-20 09:54:09 +0200 |
| commit | 6422f7b8c94a66798bcb24ba6c06dd05687c64c9 (patch) | |
| tree | d149746b932cbd32448182bd84aa8f4938a701b9 /sphinx/directives/code.py | |
| parent | f06a7e4bef996787d13cd561e5e5a504e7e13dde (diff) | |
| download | sphinx-git-6422f7b8c94a66798bcb24ba6c06dd05687c64c9.tar.gz | |
Fix #3742: missing ``Index`` bookmark and TOC entry in PDF builds at RTD
The trick is to create an Index TOC/bookmarks entry in anticipation of
makeindex execution, as RTD (currently) does only one pdflatex run after
makeindex.
https://github.com/rtfd/readthedocs.org/issues/2857
The workaround works for Sphinx own docs, which uses ``'manual'``
docclass and puts the general index at very end of document.
Diffstat (limited to 'sphinx/directives/code.py')
0 files changed, 0 insertions, 0 deletions