diff -r 27eb796ad842 -r c129354f2ff6 IsaMakefile
--- a/IsaMakefile	Wed Dec 16 14:26:14 2009 +0100
+++ b/IsaMakefile	Wed Dec 16 14:28:48 2009 +0100
@@ -13,7 +13,8 @@
 OUT = $(ISABELLE_OUTPUT)
 LOG = $(OUT)/log
 
-USEDIR = $(ISABELLE_TOOL) usedir -v true -t true -D generated
+USEDIR = $(ISABELLE_TOOL) usedir -v true -t true ##-D generated
+
 
 ## Quot
 
@@ -25,7 +26,7 @@
 paper: $(LOG)/HOL-Quot-Paper.gz
 
 $(LOG)/HOL-Quot-Paper.gz: Paper/ROOT.ML Paper/document/root.tex Paper/*.thy
-	@$(USEDIR) HOL Paper
+	@$(USEDIR) -D generated HOL Paper
 	$(ISATOOL) document -o pdf  Paper/generated
 	@cp Paper/document.pdf paper.pdf