diff -r 31d06b5cada4 -r 308ba2488d40 ProgTutorial/document/build
--- a/ProgTutorial/document/build	Tue Aug 28 21:23:32 2012 +0100
+++ b/ProgTutorial/document/build	Mon Sep 17 00:07:40 2012 +0100
@@ -10,10 +10,12 @@
 "$ISABELLE_TOOL" version > version.tex
 
 "$ISABELLE_TOOL" latex -o "$FORMAT"
+"$ISABELLE_TOOL" latex -o "$FORMAT"
 "$ISABELLE_TOOL" latex -o bbl
 makeindex -o root.stu root.str
 "$ISABELLE_TOOL" latex -o "$FORMAT"
 "$ISABELLE_TOOL" latex -o "$FORMAT"
+cp root.pdf ../document.pdf
 mv root.pdf ../progtutorial.pdf