1.1 --- a/doc-src/IsarAdvanced/Classes/IsaMakefile	Fri Oct 31 10:39:04 2008 +0100
     1.2 +++ b/doc-src/IsarAdvanced/Classes/IsaMakefile	Mon Nov 03 14:15:25 2008 +0100
     1.3 @@ -23,7 +23,7 @@
     1.4  
     1.5  Thy: $(THY)
     1.6  
     1.7 -$(THY): Thy/ROOT.ML Thy/Classes.thy
     1.8 +$(THY): Thy/ROOT.ML Thy/Setup.thy Thy/Classes.thy
     1.9  	@$(USEDIR) HOL Thy
    1.10  
    1.11