X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FMakefile.in;h=90a8a2a41559f5a9d5fd2672b25e5ab8891ebaac;hb=fdd8107cc53f5e862004aa5fcd48593ee5634234;hp=0ca62ff70878cc317af61eb432fd3661c1b187fc;hpb=6187b40af194fb960d91653682a0eb2096f20f3b;p=helm.git

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 0ca62ff70..90a8a2a41 100644
--- a/helm/matita/Makefile.in
+++ b/helm/matita/Makefile.in
@@ -29,7 +29,8 @@ CMOS =				\
 	matitaProof.cmo		\
 	matitaDisambiguator.cmo	\
 	matitaMathView.cmo	\
-	matitaInterpreter.cmo
+	matitaInterpreter.cmo	\
+	matitaScript.cmo
 # objects for matitac (batch compiler)
 CCMOS =				\
 	buildTimeConf.cmo	\