diff -r 7044f796d8d1 -r 3e9b4ce0aeca IsaMakefile
--- a/IsaMakefile	Fri Oct 08 15:37:11 2010 +0100
+++ b/IsaMakefile	Fri Oct 08 23:49:18 2010 +0100
@@ -28,6 +28,7 @@
 paper: $(LOG)/HOL-Nominal2-Paper.gz
 
 $(LOG)/HOL-Nominal2-Paper.gz: Paper/ROOT.ML Paper/document/root.* Paper/*.thy
+	@$(USEDIR) -f ROOTa.ML -D generated HOL Paper
 	@$(USEDIR) -D generated HOL Paper
 	$(ISABELLE_TOOL) document -o pdf  Paper/generated
 	@cp Paper/document.pdf paper.pdf