diff -r 651355113eee -r f1192e3474e0 IsaMakefile
--- a/IsaMakefile	Tue Mar 08 09:07:49 2011 +0000
+++ b/IsaMakefile	Fri Mar 11 08:51:39 2011 +0000
@@ -44,13 +44,13 @@
 
 ## Pearl Journal Paper 
 
-pearl-jv: $(LOG)/HOL-Pearl-jv.gz
+$(LOG)/HOL-Pearl-jv.gz: Pearl-jv/ROOT.ML Nominal/*.thy
+	@cd Pearl-jv; $(USEDIR) -b -f ROOT.ML HOL HOL-Pearl-jv
 
-$(LOG)/HOL-Pearl-jv.gz: Pearl-jv/ROOT.ML Pearl-jv/document/root.* Pearl-jv/*.thy
-	@$(USEDIR) -D generated HOL Pearl-jv
-	$(ISABELLE_TOOL) document -o pdf Pearl-jv/generated
-	@cp Pearl-jv/document.pdf pearl-jv.pdf
-
+pearl-jv: $(LOG)/HOL-Pearl-jv.gz Pearl-jv/ROOT2.ML Pearl-jv/document/root.* Pearl-jv/*.thy
+	@$(USEDIR) -f ROOT2.ML -D generated HOL-Pearl-jv Pearl-jv
+	@$(ISABELLE_TOOL) document -o pdf Pearl-jv/generated
+	@cp Pearl-jv/document.pdf pearl-jv.pdf	
 
 ## Quotient Paper