author | wenzelm |
Sun, 01 May 2011 16:56:50 +0200 | |
changeset 42513 | 96a55556639c |
parent 42512 | f1ca2b0e0265 |
child 42514 | f32500b4bc23 |
--- a/doc-src/Main/IsaMakefile Sun May 01 16:52:29 2011 +0200 +++ b/doc-src/Main/IsaMakefile Sun May 01 16:56:50 2011 +0200 @@ -23,6 +23,10 @@ $(LOG)/HOL-Docs.gz: Docs/Main_Doc.thy Docs/ROOT.ML @$(USEDIR) HOL Docs + @rm -f Docs/document/isabelle.sty + @rm -f Docs/document/isabellesym.sty + @rm -f Docs/document/pdfsetup.sty + @rm -f Docs/document/session.tex ## clean