# HG changeset patch
# User wenzelm
# Date 1082746216 -7200
# Node ID 1d97b5f5526188b93f779c9018a708a14bed71d7
# Parent  d2c6a0f030ab7d5f5fdac87f20242389de84b65b
HOL-Matrix: document setup;

diff -r d2c6a0f030ab -r 1d97b5f55261 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Apr 23 20:49:26 2004 +0200
+++ b/src/HOL/IsaMakefile	Fri Apr 23 20:50:16 2004 +0200
@@ -638,9 +638,8 @@
 HOL-Matrix: HOL $(LOG)/HOL-Matrix.gz
 
 $(LOG)/HOL-Matrix.gz: $(OUT)/HOL Matrix/ROOT.ML \
-  Matrix/Matrix.thy\
-	Matrix/LinProg.thy\
-	Matrix/MatrixGeneral.thy
+  Matrix/Matrix.thy Matrix/LinProg.thy Matrix/MatrixGeneral.thy \
+  Matrix/document/root.tex
 	@$(ISATOOL) usedir $(OUT)/HOL Matrix