1.1 --- a/doc-src/IsarOverview/IsaMakefile	Wed Mar 11 20:11:06 2009 +0100
     1.2 +++ b/doc-src/IsarOverview/IsaMakefile	Wed Mar 11 20:36:20 2009 +0100
     1.3 @@ -17,6 +17,8 @@
     1.4  $(LOG)/HOL-Isar.gz: Isar/ROOT.ML Isar/document/intro.tex \
     1.5    Isar/document/root.tex Isar/document/root.bib Isar/*.thy
     1.6  	@$(USEDIR) HOL Isar
     1.7 +	@rm -f Isar/document/isabelle.sty Isar/document/isabellesym.sty \
     1.8 +	 Isar/document/pdfsetup.sty Isar/document/session.tex
     1.9  
    1.10  
    1.11  ## clean