# HG changeset patch
# User krauss
# Date 1294677431 -3600
# Node ID b2c1cd0bbcb96653fdcf405170618513b4a2d340
# Parent  f8c11067e124e77eddff5540d621651662fbe680
removed obsolete make target (now in doc-src, cf. 28b487cd9e15)

diff -r f8c11067e124 -r b2c1cd0bbcb9 src/HOL/IsaMakefile
--- 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