Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added dependency to base image to ensure that the doc test actually rebuilds the tutorial
authorhaftmann
Tue, 28 Sep 2010 12:10:37 +0200
changeset 39755 93a10347e356
parent 39754 150f831ce4a3
child 39756 6c8e83d94536
child 39757 21423597a80d
added dependency to base image to ensure that the doc test actually rebuilds the tutorial
doc-src/Classes/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/doc-src/Classes/IsaMakefile	Tue Sep 28 09:54:07 2010 +0200
+++ b/doc-src/Classes/IsaMakefile	Tue Sep 28 12:10:37 2010 +0200
@@ -23,10 +23,10 @@
 
 Thy: $(THY)
 
-$(THY): Thy/ROOT.ML Thy/Setup.thy Thy/Classes.thy ../antiquote_setup.ML ../more_antiquote.ML
+$(THY): $(OUT)/HOL Thy/ROOT.ML Thy/Setup.thy Thy/Classes.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
+	  Thy/document/pdfsetup.sty Thy/document/session.tex
 
 
 ## clean
isabelle