# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1301465496 -7200
# Node ID 7cf2d79d8d5e0acd802f451b4c9f92682847fe23
# Parent  6f38e357b3378cd3629edd170a28946cd174348e
tuned IsaMakefile

diff -r 6f38e357b337 -r 7cf2d79d8d5e IsaMakefile
--- a/IsaMakefile	Tue Mar 29 23:52:14 2011 +0200
+++ b/IsaMakefile	Wed Mar 30 08:11:36 2011 +0200
@@ -21,14 +21,14 @@
 tests: $(LOG)/HOL-Nominal2.gz
 
 $(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy
-	@cd Nominal; $(USEDIR) -b -d "" HOL Nominal
+	@cd Nominal; $(USEDIR) -b -d "" HOL Nominal2
 
 ## ESOP Paper
 
 esop: $(LOG)/HOL-ESOP-Paper.gz
 
 $(LOG)/HOL-ESOP-Paper.gz: ESOP-Paper/ROOT.ML ESOP-Paper/document/root.* ESOP-Paper/*.thy
-	@$(USEDIR) -f ROOT.ML -D generated HOL-Nominal2 ESOP-Paper
+	@$(USEDIR) -f ROOT.ML -D generated Nominal2 ESOP-Paper
 	$(ISABELLE_TOOL) document -o pdf  ESOP-Paper/generated
 	@cp ESOP-Paper/document.pdf esop-paper.pdf