# HG changeset patch # User wenzelm # Date 1257432854 -3600 # Node ID 7f716a975ada71c74eb072d08e0fcb0f5980980c # Parent f5d95787224fe0ca82dd4e00e9e6cbe3f024a188 more accurate dependencies; diff -r f5d95787224f -r 7f716a975ada src/HOL/IsaMakefile --- a/src/HOL/IsaMakefile Thu Nov 05 14:37:39 2009 +0100 +++ b/src/HOL/IsaMakefile Thu Nov 05 15:54:14 2009 +0100 @@ -663,7 +663,7 @@ Algebra/poly/UnivPoly2.thy \ Algebra/ringsimp.ML -$(LOG)/HOL-Algebra.gz: $(ALGEBRA_DEPENDENCIES) +$(OUT)/HOL-Algebra: $(ALGEBRA_DEPENDENCIES) @cd Algebra; $(ISABELLE_TOOL) usedir -b -g true -V outline=/proof,/ML $(OUT)/HOL HOL-Algebra