Da capo (matita2.tex).

[helm.git] / helm / papers / matita / Makefile

diff --git a/helm/papers/matita/Makefile b/helm/papers/matita/Makefile
index d287d115c6811646d5f066afdd2f7eda46a754d5..dc95f6691d79259b76a9fffe58e1e49044edf51a 100644 (file)
--- a/helm/papers/matita/Makefile
+++ b/helm/papers/matita/Makefile
@@ -11,7 +11,7 @@
 ########################################################################
 
 # list of .tex _main_ files
-TEXS = matita.tex
+TEXS = matita2.tex
 
 # number of runs of latex (for table of contents, list of figures, ...)
 RUNS = 1