#948 Infinite loop in latex doc generation
Metadata
| Property | Value |
|---|---|
| Reported by | Elias Pipping (elias.pipping@fu-berlin.de) |
| Reported at | Sep 7, 2011 13:17 |
| Type | Bug Report |
| Version | 2.1 |
| Operating System | Unspecified / All |
| Last edited by | Jö Fahlke (jorrit@jorrit.de) |
| Last edited at | Jan 20, 2012 15:18 |
| Closed by | Jö Fahlke (jorrit@jorrit.de) |
| Closed at | Jan 20, 2012 15:18 |
| Closed in version | Unknown |
| Resolution | Fixed |
| Comment | patch applied to dune-common -- I just reopend this so Elias comment was able to get in |
Description
When building the buildsystem documentation, the following code is run:
% make -n buildsystem.pdf set -e; builddir=$PWD; pushd .; latex -output-directory=$builddir </dev/null buildsystem; popd; while grep Rerun buildsystem.log > /dev/null ; do pushd .; latex -output-directory=$builddir </dev/null buildsystem; popd; done; if grep '^\bibdata{' *.aux > /dev/null && grep '^\citation{' *.aux > /dev/null; then BSTINPUTS=.:.:: BIBINPUTS=.:.:: bibtex buildsystem || exit $?; pushd .; latex -output-directory=$builddir </dev/null buildsystem; popd; while grep Rerun buildsystem.log > /dev/null ; do pushd .; latex -output-directory=$builddir </dev/null buildsystem; popd; done ; fi TEXINPUTS=.:.:: dvipdf buildsystem rm buildsystem.dvi %
So whether latex is rerun depends on the result of grep Rerun buildsystem.log.
With texlive 2011 at least, this is always true because of the following line that ends up in buildsystem.log:
Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO)
What that grep invocation should be checking for is lines like
(rerunfilecheck) Rerun to get outlines right LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
A patch like the one rids me of the infinite loop.