- lexiconSync merged into grafiteDisambiguate

[helm.git] / matita / components / lexicon / Makefile

diff --git a/matita/components/lexicon/Makefile b/matita/components/lexicon/Makefile
index b7aba0ebd58d9d690da2f1a5112192fed942df85..273aade4371f7e9ac34ea6df664e1798e0cc7ad6 100644 (file)
--- a/matita/components/lexicon/Makefile
+++ b/matita/components/lexicon/Makefile
@@ -3,7 +3,6 @@ PREDICATES =
 
 INTERFACE_FILES =              \
        grafiteDisambiguate.mli \
-       lexiconSync.mli         \
        $(NULL)
 IMPLEMENTATION_FILES =         \
        $(INTERFACE_FILES:%.mli=%.ml)