changeset 30440 | 5f47d3cb781a |
parent 30400 | a7a30ba65d0a |
child 30441 | 193cf2fa692a |
--- a/src/HOL/IsaMakefile Tue Mar 10 22:22:52 2009 +0100 +++ b/src/HOL/IsaMakefile Wed Mar 11 11:40:58 2009 +0100 @@ -690,7 +690,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