diff -r c34347ec7ab3 -r 86122d793f32 IsaMakefile
--- a/IsaMakefile	Sun Apr 04 21:39:28 2010 +0200
+++ b/IsaMakefile	Tue Apr 06 07:36:15 2010 +0200
@@ -27,7 +27,7 @@
 
 paper: $(LOG)/HOL-Nominal2-Paper.gz
 
-$(LOG)/HOL-Nominal2-Paper.gz: Paper/ROOT.ML Paper/document/root.tex Paper/*.thy
+$(LOG)/HOL-Nominal2-Paper.gz: Paper/ROOT.ML Paper/document/root.* Paper/*.thy
 	@$(USEDIR) -D generated Nominal Paper
 	$(ISABELLE_TOOL) document -o pdf  Paper/generated
 	@cp Paper/document.pdf paper.pdf
@@ -36,7 +36,7 @@
 
 pearl: $(LOG)/HOL-Pearl.gz
 
-$(LOG)/HOL-Pearl.gz: Nominal-General/Nominal*.thy Pearl/ROOT.ML Pearl/document/root.* Pearl/*.thy
+$(LOG)/HOL-Pearl.gz: 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