--- a/IsaMakefile	Wed Sep 03 18:29:48 2008 +0200
+++ b/IsaMakefile	Fri Sep 05 09:47:51 2008 +0200
@@ -1,13 +1,11 @@
 
 ## targets
 
-default: cookbook.pdf
+default: cookbook
 images: 
-test: CookBook
+test: 
 
-all: images test
-
-TEXFILES = cookbook.tex
+all: cookbook
 
 ## global settings
 
@@ -20,19 +18,15 @@
 
 ## CookBook
 
-CookBook: $(LOG)/HOL-CookBook.gz
-
-$(LOG)/HOL-CookBook.gz: CookBook/ROOT.ML CookBook/document/root.tex CookBook/*.thy
-	@$(USEDIR) HOL CookBook
-
-cookbook.pdf: $(LOG)/HOL-CookBook.gz $(TEXFILES)
-	pdflatex cookbook.tex
-	bibtex cookbook
-	pdflatex cookbook.tex
-	pdflatex cookbook.tex
-
+cookbook: CookBook/ROOT.ML \
+          CookBook/document/root.tex \
+          CookBook/document/cookbook.bib \
+          CookBook/*.thy
+	$(USEDIR) HOL CookBook
+	$(ISATOOL) document -o pdf CookBook/generated
+	@cp CookBook/document.pdf cookbook.pdf
 
 ## clean
 
 clean:
-	@rm -f $(LOG)/HOL-CookBook.gz CookBook/generated/*
+	@rm -f CookBook/generated/*