Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed obsolete make target (now in doc-src, cf. 28b487cd9e15)
authorkrauss
Mon, 10 Jan 2011 17:37:11 +0100
changeset 41496 b2c1cd0bbcb9
parent 41495 f8c11067e124
child 41497 3fd79c771ed2
removed obsolete make target (now in doc-src, cf. 28b487cd9e15)
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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
isabelle