diff -r 28b487cd9e15 -r 804de935c328 doc-src/IsarOverview/IsaMakefile
--- a/doc-src/IsarOverview/IsaMakefile	Wed Mar 11 20:11:06 2009 +0100
+++ b/doc-src/IsarOverview/IsaMakefile	Wed Mar 11 20:36:20 2009 +0100
@@ -17,6 +17,8 @@
 $(LOG)/HOL-Isar.gz: Isar/ROOT.ML Isar/document/intro.tex \
   Isar/document/root.tex Isar/document/root.bib Isar/*.thy
 	@$(USEDIR) HOL Isar
+	@rm -f Isar/document/isabelle.sty Isar/document/isabellesym.sty \
+	 Isar/document/pdfsetup.sty Isar/document/session.tex
 
 
 ## clean