--- a/pres/IsaMakefile	Thu Feb 03 09:54:19 2011 +0000
+++ b/pres/IsaMakefile	Thu Feb 03 12:00:06 2011 +0000
@@ -22,7 +22,10 @@
 ListP: $(OUT)/ListP
 
 $(OUT)/ListP: ROOT.ML document/root.tex *.thy
-	@$(USEDIR) -b HOL ListP
+	@$(USEDIR) -D generated -b HOL ListP
+	cd generated; $(ISABELLE_TOOL) latex -o pdf root.tex
+	cd generated; $(ISABELLE_TOOL) latex -o pdf root.tex
+	cd generated; cp root.pdf ../ListP.pdf     
 
 
 ## clean