[Dune] [#948] Infinite loop in latex doc generation (Attachment added)

[Dune]

THIS IS AN AUTOMATED MESSAGE, DO NOT REPLY.

A new Flyspray task has been opened.  Details are below. 

User who did this - Elias Pipping (pipping) 

Attached to Project - Dune
Summary - Infinite loop in latex doc generation
Task Type - Bug Report
Category - Common
Status - Unconfirmed
Assigned To - 
Operating System - Unspecified / All
Severity - Low
Priority - Normal
Reported Version - 2.1
Due in Version - Undecided
Due Date - Undecided
Details - 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.

One or more files have been attached.

More information can be found at the following URL:
http://www.dune-project.org/flyspray/index.php?do=details&task_id=948

You are receiving this message because you have requested it from the Flyspray bugtracking system.  If you did not expect this message or don't want to receive mails in future, you can change your notification settings at the URL shown above.