changeset 30441 | 193cf2fa692a |
parent 30429 | 39acdf031548 |
parent 30440 | 5f47d3cb781a |
child 30457 | 28b487cd9e15 |
--- a/src/HOL/IsaMakefile Wed Mar 11 10:58:18 2009 +0100 +++ b/src/HOL/IsaMakefile Wed Mar 11 11:41:14 2009 +0100 @@ -692,7 +692,7 @@ $(LOG)/HOL-Docs.gz: $(OUT)/HOL Docs/Main_Doc.thy Docs/ROOT.ML \ Docs/document/root.tex - @$(ISABELLE_TOOL) usedir $(OUT)/HOL Docs + @$(ISABELLE_TOOL) usedir -D generated $(OUT)/HOL Docs ## HOL-Lambda