Skip to content

#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.

Attachments