changeset 36334 | 068a01b4bc56 |
parent 36333 | 82356c9e218a |
child 36403 | 9a4baad039c4 |
--- a/src/HOL/IsaMakefile Sat Apr 24 11:11:09 2010 -0700 +++ b/src/HOL/IsaMakefile Sat Apr 24 13:31:52 2010 -0700 @@ -1079,6 +1079,7 @@ $(OUT)/HOL-Multivariate_Analysis: $(OUT)/HOL-SMT \ Multivariate_Analysis/ROOT.ML \ + Multivariate_Analysis/document/root.tex \ Multivariate_Analysis/L2_Norm.thy \ Multivariate_Analysis/Multivariate_Analysis.thy \ Multivariate_Analysis/Determinants.thy \