Some more work...

[helm.git] / helm / ocaml / grafite / Makefile

diff --git a/helm/ocaml/grafite/Makefile b/helm/ocaml/grafite/Makefile
index b16d7b7dd41f807e94a6a0334614fbaa5a4948aa..6eb3e7a783806914c5339b3cc1eafdb815a47e79 100644 (file)
--- a/helm/ocaml/grafite/Makefile
+++ b/helm/ocaml/grafite/Makefile
@@ -3,7 +3,6 @@ PREDICATES =
 
 INTERFACE_FILES =              \
        grafiteAstPp.mli        \
-       cicNotation.mli         \
        grafiteMarshal.mli      \
        $(NULL)
 IMPLEMENTATION_FILES =         \
@@ -11,4 +10,5 @@ IMPLEMENTATION_FILES =                \
        $(INTERFACE_FILES:%.mli=%.ml)
 
 
+include ../../Makefile.defs
 include ../Makefile.common