| changeset 30458 | 804de935c328 |
| parent 30226 | 2f4684e2ea95 |
| child 38441 | 2fffd5ac487f |
--- a/doc-src/Codegen/IsaMakefile Wed Mar 11 20:11:06 2009 +0100 +++ b/doc-src/Codegen/IsaMakefile Wed Mar 11 20:36:20 2009 +0100 @@ -25,6 +25,8 @@ $(THY): Thy/ROOT.ML Thy/*.thy ../antiquote_setup.ML ../more_antiquote.ML @$(USEDIR) HOL Thy + @rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \ + Thy/document/pdfsetup.sty Thy/document/session.tex ## clean