Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Run pdflatex three times during PDF build
We had a report in #1557 that creating the index for the PDF does not work and that it might be related to how often we run `pdflatex` during the build. Related #1557.
- Loading branch information