X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Flexicon%2FMakefile;h=b7aba0ebd58d9d690da2f1a5112192fed942df85;hb=1caab3250f877ebff8fefc99dd7f5e7fd0596795;hp=d5b16e92446f793f79cdf417bccc2ad32548e30e;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/components/lexicon/Makefile b/matita/components/lexicon/Makefile
index d5b16e924..b7aba0ebd 100644
--- a/matita/components/lexicon/Makefile
+++ b/matita/components/lexicon/Makefile
@@ -2,14 +2,10 @@ PACKAGE = lexicon
 PREDICATES =
 
 INTERFACE_FILES =		\
-	lexiconAstPp.mli		\
-	lexiconMarshal.mli	\
-	cicNotation.mli		\
-	lexiconEngine.mli	\
+	grafiteDisambiguate.mli \
 	lexiconSync.mli		\
 	$(NULL)
 IMPLEMENTATION_FILES =		\
-	lexiconAst.ml		\
 	$(INTERFACE_FILES:%.mli=%.ml)