Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/Locales/IsaMakefile
changeset 30458 804de935c328
parent 28500 4b79e5d3d0aa 
--- a/doc-src/Locales/IsaMakefile	Wed Mar 11 20:11:06 2009 +0100
+++ b/doc-src/Locales/IsaMakefile	Wed Mar 11 20:36:20 2009 +0100
@@ -27,6 +27,8 @@
   Locales/Examples1.thy Locales/Examples2.thy Locales/Examples3.thy \
   Locales/document/root.tex Locales/document/root.bib
 	@$(USEDIR) $(OUT)/HOL Locales
+	@rm -f Locales/document/isabelle.sty Locales/document/isabellesym.sty \
+	 Locales/document/pdfsetup.sty
 
 
 ## clean
isabelle