- LexiconAst merged into GrafiteAst

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

diff --git a/matita/components/lexicon/Makefile b/matita/components/lexicon/Makefile
index d5b16e92446f793f79cdf417bccc2ad32548e30e..1213f0b525f73b312e4b49fd3c12b3dcfd18808b 100644 (file)
--- a/matita/components/lexicon/Makefile
+++ b/matita/components/lexicon/Makefile
@@ -2,14 +2,11 @@ PACKAGE = lexicon
 PREDICATES =
 
 INTERFACE_FILES =              \
-       lexiconAstPp.mli                \
-       lexiconMarshal.mli      \
-       cicNotation.mli         \
-       lexiconEngine.mli       \
+       lexiconTypes.mli        \
+       lexiconEngine.mli \
        lexiconSync.mli         \
        $(NULL)
 IMPLEMENTATION_FILES =         \
-       lexiconAst.ml           \
        $(INTERFACE_FILES:%.mli=%.ml)