diff -r c0eac04ae3b4 -r c34347ec7ab3 IsaMakefile
--- a/IsaMakefile	Sat Apr 03 22:31:11 2010 +0200
+++ b/IsaMakefile	Sun Apr 04 21:39:28 2010 +0200
@@ -36,7 +36,7 @@
 
 pearl: $(LOG)/HOL-Pearl.gz
 
-$(LOG)/HOL-Pearl.gz: Nominal/Nominal*.thy Pearl/ROOT.ML Pearl/document/root.* Pearl/*.thy
+$(LOG)/HOL-Pearl.gz: Nominal-General/Nominal*.thy Pearl/ROOT.ML Pearl/document/root.* Pearl/*.thy
 	@$(USEDIR) -D generated HOL Pearl
 	$(ISABELLE_TOOL) document -o pdf Pearl/generated
 	@cp Pearl/document.pdf pearl.pdf