| changeset 30458 | 804de935c328 |
| parent 30456 | d21bc48823b7 |
| child 43564 | 9864182c6bad |
--- a/doc-src/System/IsaMakefile Wed Mar 11 20:11:06 2009 +0100 +++ b/doc-src/System/IsaMakefile Wed Mar 11 20:36:20 2009 +0100 @@ -24,6 +24,8 @@ $(LOG)/Pure-System.gz: Thy/ROOT.ML ../antiquote_setup.ML \ Thy/Basics.thy Thy/Misc.thy Thy/Interfaces.thy Thy/Presentation.thy @$(USEDIR) -s System Pure Thy + @rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \ + Thy/document/pdfsetup.sty Thy/document/session.tex ## clean