commit by user utente

[helm.git] / matitaB / matita / Makefile

diff --git a/matitaB/matita/Makefile b/matitaB/matita/Makefile
index 9a03d41bf705709341fc00bc5470fbe844ffed86..24cf2514702742935a128c0dbbe3d96cffc9d2e4 100644 (file)
--- 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: