changeset 39986 | ec6dfd9ce573 |
parent 30458 | 804de935c328 |
1.1 --- a/doc-src/Functions/IsaMakefile Tue Sep 28 09:34:20 2010 +0200 1.2 +++ b/doc-src/Functions/IsaMakefile Tue Sep 28 09:43:13 2010 +0200 1.3 @@ -23,7 +23,7 @@ 1.4 1.5 Thy: $(THY) 1.6 1.7 -$(THY): Thy/ROOT.ML Thy/Functions.thy 1.8 +$(THY): $(OUT)/HOL Thy/ROOT.ML Thy/Functions.thy 1.9 @$(USEDIR) HOL Thy 1.10 @rm -f Thy/document/isabelle.sty Thy/document/isabellesym.sty \ 1.11 Thy/document/pdfsetup.sty Thy/document/session.tex