diff -r 28b487cd9e15 -r 804de935c328 doc-src/Functions/IsaMakefile
--- a/doc-src/Functions/IsaMakefile	Wed Mar 11 20:11:06 2009 +0100
+++ b/doc-src/Functions/IsaMakefile	Wed Mar 11 20:36:20 2009 +0100
@@ -25,6 +25,8 @@
 
 $(THY): Thy/ROOT.ML Thy/Functions.thy
 	@$(USEDIR) HOL Thy
+	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
+	 Thy/document/pdfsetup.sty Thy/document/session.tex
 
 
 ## clean