X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2FMakefile;h=9a03d41bf705709341fc00bc5470fbe844ffed86;hb=dee464f8cd331524663167659d1fad01e558d4e1;hp=ed24d2c6149a974bfcaf794ac30d7bc4e91d7db7;hpb=d83fa3d6e3604bcc596840219f3998d795630d66;p=helm.git

diff --git a/matitaB/matita/Makefile b/matitaB/matita/Makefile
index ed24d2c61..9a03d41bf 100644
--- a/matitaB/matita/Makefile
+++ b/matitaB/matita/Makefile
@@ -61,6 +61,7 @@ CMLI =				\
 	matitaInit.mli		\
 	$(NULL)
 WMLI =				\
+	matitaScriptLexer.mli   \
 	matitaTypes.mli		\
 	matitaMisc.mli		\
 	applyTransformation.mli	\