1.1 --- a/src/HOL/IsaMakefile	Fri Apr 23 20:49:26 2004 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Apr 23 20:50:16 2004 +0200
     1.3 @@ -638,9 +638,8 @@
     1.4  HOL-Matrix: HOL $(LOG)/HOL-Matrix.gz
     1.5  
     1.6  $(LOG)/HOL-Matrix.gz: $(OUT)/HOL Matrix/ROOT.ML \
     1.7 -  Matrix/Matrix.thy\
     1.8 -	Matrix/LinProg.thy\
     1.9 -	Matrix/MatrixGeneral.thy
    1.10 +  Matrix/Matrix.thy Matrix/LinProg.thy Matrix/MatrixGeneral.thy \
    1.11 +  Matrix/document/root.tex
    1.12  	@$(ISATOOL) usedir $(OUT)/HOL Matrix
    1.13  
    1.14