--- a/IsaMakefile	Wed Jan 23 20:18:40 2013 +0100
+++ b/IsaMakefile	Thu Jan 24 00:20:26 2013 +0100
@@ -21,7 +21,7 @@
 
 utm: $(OUT)/utm
 
-$(OUT)/utm: *.thy
+$(OUT)/utm: thys/*.thy ROOT.ML
 	@$(USEDIR) -f ROOT.ML -b HOL UTM
 
 paper:  ROOT.ML \
@@ -37,7 +37,7 @@
 session_itp: Paper/ROOT.ML \
 	Paper/document/root* \
 	Paper/*.thy
-	@$(USEDIR) -D generated -f ROOT.ML HOL Paper
+	@$(USEDIR) -D generated -f ROOT.ML UTM Paper
 
 itp: session_itp
 	rm -f Paper/generated/*.aux # otherwise latex will fall over