First attempt at svn commit of developments.

[helm.git] / matitaB / matita / Makefile

diff --git a/matitaB/matita/Makefile b/matitaB/matita/Makefile
index 9a03d41bf705709341fc00bc5470fbe844ffed86..ed24d2c6149a974bfcaf794ac30d7bc4e91d7db7 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 \