runLaTeX: add additional rerun criterion (#78318)

Seems like the phrase "Please rerun LaTeX." is outputted by `biblatex`.
When we detect this, we should actual rerun latex.
This commit is contained in:
Mathias Schreck 2020-01-30 20:05:20 +01:00 committed by GitHub
parent e9d171e9c5
commit 9508d07ac3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -47,6 +47,7 @@ runLaTeX() {
if fgrep -q \
-e "LaTeX Warning: Label(s) may have changed." \
-e "Rerun to get citations correct." \
-e "Please rerun LaTeX." \
"$tmpFile"; then
runNeeded=1
fi