# HG changeset patch
# User krauss
# Date 1285659793 -7200
# Node ID ec6dfd9ce573f65639cf93accf774921c45aebbc
# Parent  06fc1a79b4bf8cd6e5ff7596d5bb4f9d07db648a
added dependency to base images to ensure that the doc test actually rebuilds the tutorials

diff -r 06fc1a79b4bf -r ec6dfd9ce573 doc-src/Codegen/IsaMakefile
--- 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
diff -r 06fc1a79b4bf -r ec6dfd9ce573 doc-src/Functions/IsaMakefile
--- 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