# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1222939846 14400
# Node ID b4c31af6af26d38cf2f0e4aacb8e38752290db81
# Parent  8afa1c990a147a8432b0c5716d7713c0665838ec
tuned IsaMakefile

diff -r 8afa1c990a14 -r b4c31af6af26 IsaMakefile
--- a/IsaMakefile	Thu Oct 02 05:28:39 2008 -0400
+++ b/IsaMakefile	Thu Oct 02 05:30:46 2008 -0400
@@ -20,10 +20,10 @@
 
 cookbook: CookBook/ROOT.ML \
           CookBook/document/root.tex \
-          CookBook/document/cookbook.bib \
+          CookBook/document/root.bib \
           CookBook/*.thy
 	$(USEDIR) HOL CookBook
-	$(ISATOOL) document  CookBook/generated
+	$(ISATOOL) document -o pdf  CookBook/generated
 	@cp CookBook/document.pdf cookbook.pdf
 
 ## clean