1.1 --- a/doc-src/Classes/IsaMakefile	Tue Sep 28 09:54:07 2010 +0200
     1.2 +++ b/doc-src/Classes/IsaMakefile	Tue Sep 28 12:10:37 2010 +0200
     1.3 @@ -23,10 +23,10 @@
     1.4  
     1.5  Thy: $(THY)
     1.6  
     1.7 -$(THY): Thy/ROOT.ML Thy/Setup.thy Thy/Classes.thy ../antiquote_setup.ML ../more_antiquote.ML
     1.8 +$(THY): $(OUT)/HOL Thy/ROOT.ML Thy/Setup.thy Thy/Classes.thy ../antiquote_setup.ML ../more_antiquote.ML
     1.9  	@$(USEDIR) HOL Thy
    1.10  	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
    1.11 -	 Thy/document/pdfsetup.sty Thy/document/session.tex
    1.12 +	  Thy/document/pdfsetup.sty Thy/document/session.tex
    1.13  
    1.14  
    1.15  ## clean