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

diff --git a/matitaB/matita/Makefile b/matitaB/matita/Makefile
index 9a03d41bf..24cf25147 100644
--- a/matitaB/matita/Makefile
+++ b/matitaB/matita/Makefile
@@ -61,7 +61,6 @@ CMLI =				\
 	matitaInit.mli		\
 	$(NULL)
 WMLI =				\
-	matitaScriptLexer.mli   \
 	matitaTypes.mli		\
 	matitaMisc.mli		\
 	applyTransformation.mli	\
@@ -451,4 +450,5 @@ deps.dot: .depend
 
 # }}} End of deps and automatic rules
 
+
 # vim: set foldmethod=marker: