diff -r 5045dec52d2b -r 8afa1c990a14 IsaMakefile
--- a/IsaMakefile	Thu Oct 02 05:18:49 2008 -0400
+++ b/IsaMakefile	Thu Oct 02 05:28:39 2008 -0400
@@ -23,7 +23,7 @@
           CookBook/document/cookbook.bib \
           CookBook/*.thy
 	$(USEDIR) HOL CookBook
-	$(ISATOOL) document -o pdf CookBook/generated
+	$(ISATOOL) document  CookBook/generated
 	@cp CookBook/document.pdf cookbook.pdf
 
 ## clean