added script support a la coqide

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

diff --git a/helm/matita/Makefile.in b/helm/matita/Makefile.in
index 0ca62ff70878cc317af61eb432fd3661c1b187fc..90a8a2a41559f5a9d5fd2672b25e5ab8891ebaac 100644 (file)
--- 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       \