# 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