diff -r 104af757fbf0 -r a9ca91c990ba IsaMakefile
--- a/IsaMakefile	Fri Oct 10 17:08:15 2008 +0200
+++ b/IsaMakefile	Fri Oct 10 17:08:40 2008 +0200
@@ -21,7 +21,11 @@
 cookbook: CookBook/ROOT.ML \
           CookBook/document/root.tex \
           CookBook/document/root.bib \
-          CookBook/*.thy
+          CookBook/*.thy \
+          CookBook/*.ML \
+          CookBook/Recipes/*.thy \
+          CookBook/Package/*.thy \
+          CookBook/Package/*.ML
 	$(USEDIR) HOL CookBook
 	$(ISATOOL) document -o pdf  CookBook/generated
 	@cp CookBook/document.pdf cookbook.pdf