1) Matitaweb now disambiguates scripts as it runs them

[helm.git] / matitaB / matita / Makefile

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