1.1 --- a/doc-src/Classes/IsaMakefile	Wed Mar 11 20:11:06 2009 +0100
     1.2 +++ b/doc-src/Classes/IsaMakefile	Wed Mar 11 20:36:20 2009 +0100
     1.3 @@ -25,6 +25,8 @@
     1.4  
     1.5  $(THY): Thy/ROOT.ML Thy/Setup.thy Thy/Classes.thy ../antiquote_setup.ML ../more_antiquote.ML
     1.6  	@$(USEDIR) HOL Thy
     1.7 +	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
     1.8 +	 Thy/document/pdfsetup.sty Thy/document/session.tex
     1.9  
    1.10  
    1.11  ## clean