[isabelle-dev] Latex issue (Fwd: isabelle dist build failed)

[Alexander Krauss]

Hi all,

The nightly isatest stopped working after the tex distribution on our 
servers was updated to Tex Live 2010 (at least we suspect that this is 
the cause of the problem).

This seems to be an obscure latex problem that arises when buliding 
doc-src/Logics. It seems that the (generated!) file logics.ind is 
somehow malformed, which makes the subsequent tex run crash.

Could someone who knows more about this document setup look into this issue?

Steps to reproduce:

* Log into macbroy20-28
* On some repository clone, go to ~~/doc-src/Logics and run

   make clean dvi


Note that the regular nightly isatest will not run until this is fixed, 
because it first builds the documentation (as part of the distribution). 
The new testing framework is not affected by it (since it effectively 
ignores documentation at the moment).

Alex


-------- Original Message --------
Subject: isabelle dist build failed
Date: Mon, 30 May 2011 00:18:04 +0200
From: isatest at macbroy28.informatik.tu-muenchen.de (Account Isatest)
To: krauss at in.tum.de

Could not build isabelle distribution. Log file available at
macbroy28:/home/isatest/log/isatest-makedist-2011-05-30.log