changeset 30458 | 804de935c328 |
parent 30209 | 2f4684e2ea95 |
child 39986 | ec6dfd9ce573 |
1.1 --- a/doc-src/Functions/IsaMakefile Wed Mar 11 20:11:06 2009 +0100 1.2 +++ b/doc-src/Functions/IsaMakefile Wed Mar 11 20:36:20 2009 +0100 1.3 @@ -25,6 +25,8 @@ 1.4 1.5 $(THY): Thy/ROOT.ML Thy/Functions.thy 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