more accurate dependencies;
authorwenzelm
Thu Nov 05 15:54:14 2009 +0100 (2009-11-05)
changeset 334487f716a975ada
parent 33439 f5d95787224f
child 33449 9a4b176292ec
more accurate dependencies;
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Thu Nov 05 14:37:39 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Thu Nov 05 15:54:14 2009 +0100
     1.3 @@ -663,7 +663,7 @@
     1.4    Algebra/poly/UnivPoly2.thy \
     1.5    Algebra/ringsimp.ML
     1.6  
     1.7 -$(LOG)/HOL-Algebra.gz: $(ALGEBRA_DEPENDENCIES)
     1.8 +$(OUT)/HOL-Algebra: $(ALGEBRA_DEPENDENCIES)
     1.9  	@cd Algebra; $(ISABELLE_TOOL) usedir -b -g true -V outline=/proof,/ML $(OUT)/HOL HOL-Algebra
    1.10  
    1.11