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 images to ensure that the doc test actually rebuilds the tutorials
authorkrauss
Tue, 28 Sep 2010 09:43:13 +0200
changeset 39753 ec6dfd9ce573
parent 39752 06fc1a79b4bf
child 39754 150f831ce4a3
added dependency to base images to ensure that the doc test actually rebuilds the tutorials
doc-src/Codegen/IsaMakefile file | annotate | diff | comparison | revisions
doc-src/Functions/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/doc-src/Codegen/IsaMakefile	Tue Sep 28 09:34:20 2010 +0200
+++ b/doc-src/Codegen/IsaMakefile	Tue Sep 28 09:43:13 2010 +0200
@@ -23,7 +23,7 @@
 
 Thy: $(THY)
 
-$(THY): Thy/ROOT.ML Thy/*.thy ../antiquote_setup.ML ../more_antiquote.ML
+$(THY): $(OUT)/HOL-Library Thy/ROOT.ML Thy/*.thy ../antiquote_setup.ML ../more_antiquote.ML
 	@$(USEDIR) -m no_brackets -m iff HOL-Library Thy
 	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
 	  Thy/document/pdfsetup.sty Thy/document/session.tex
--- a/doc-src/Functions/IsaMakefile	Tue Sep 28 09:34:20 2010 +0200
+++ b/doc-src/Functions/IsaMakefile	Tue Sep 28 09:43:13 2010 +0200
@@ -23,7 +23,7 @@
 
 Thy: $(THY)
 
-$(THY): Thy/ROOT.ML Thy/Functions.thy
+$(THY): $(OUT)/HOL Thy/ROOT.ML Thy/Functions.thy
 	@$(USEDIR) HOL Thy
 	@rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \
 	 Thy/document/pdfsetup.sty Thy/document/session.tex
isabelle