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