diff -r f86710d35146 -r f970ca9b5bec IsaMakefile
--- a/IsaMakefile	Wed Mar 17 17:11:23 2010 +0100
+++ b/IsaMakefile	Wed Mar 17 20:42:22 2010 +0100
@@ -4,7 +4,7 @@
 default: Nominal2
 images: 
 
-all: Nominal2
+all: Nominal2 paper
 
 
 ## global settings
@@ -21,12 +21,12 @@
 Nominal2: $(LOG)/HOL-Nominal2.gz
 
 $(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy
-	@$(USEDIR) HOL Nominal
+	@cd Nominal; $(USEDIR) -b -d "" HOL Nominal
 
 paper: $(LOG)/HOL-Nominal2-Paper.gz
 
 $(LOG)/HOL-Nominal2-Paper.gz: Paper/ROOT.ML Paper/document/root.tex Paper/*.thy
-	@$(USEDIR) -D generated HOL Paper
+	@$(USEDIR) -D generated Nominal Paper
 	$(ISABELLE_TOOL) document -o pdf  Paper/generated
 	@cp Paper/document.pdf paper.pdf