diff -r 135317cd34d6 -r 1992553cccfe doc-src/IsarAdvanced/Classes/IsaMakefile
--- a/doc-src/IsarAdvanced/Classes/IsaMakefile	Fri Oct 31 10:39:04 2008 +0100
+++ b/doc-src/IsarAdvanced/Classes/IsaMakefile	Mon Nov 03 14:15:25 2008 +0100
@@ -23,7 +23,7 @@
 
 Thy: $(THY)
 
-$(THY): Thy/ROOT.ML Thy/Classes.thy
+$(THY): Thy/ROOT.ML Thy/Setup.thy Thy/Classes.thy
 	@$(USEDIR) HOL Thy