--- 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