| changeset 41496 | b2c1cd0bbcb9 |
| parent 41474 | 60d091240485 |
| child 41505 | 6d19301074cf |
--- a/src/HOL/IsaMakefile Mon Jan 10 17:22:48 2011 +0100 +++ b/src/HOL/IsaMakefile Mon Jan 10 17:37:11 2011 +0100 @@ -878,15 +878,6 @@ @$(ISABELLE_TOOL) usedir $(OUT)/HOL Decision_Procs -## HOL-Docs - -HOL-Docs: HOL $(LOG)/HOL-Docs.gz - -$(LOG)/HOL-Docs.gz: $(OUT)/HOL Docs/Main_Doc.thy Docs/ROOT.ML \ - Docs/document/root.tex - @$(ISABELLE_TOOL) usedir -D generated $(OUT)/HOL Docs - - ## HOL-Proofs HOL-Proofs: Pure $(OUT)/HOL-Proofs