--- a/IsaMakefile	Wed Dec 17 05:08:33 2008 +0000
+++ b/IsaMakefile	Sat Jan 03 20:44:54 2009 +0000
@@ -13,7 +13,7 @@
 OUT = $(ISABELLE_OUTPUT)
 LOG = $(OUT)/log
 
-USEDIR = $(ISATOOL) usedir -v true -i true -D generated
+USEDIR = $(ISATOOL) usedir -v true -D generated
 
 rail:
 	rail CookBook/generated/root