cicNotation* ==> notation*

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

diff --git a/matita/components/content/Makefile b/matita/components/content/Makefile
index 2f1a3896a3881f21501ddcd7d0dec766c717383d..5ea3ee796506539d4b451a7e871d2b42f87027a6 100644 (file)
--- a/matita/components/content/Makefile
+++ b/matita/components/content/Makefile
@@ -3,13 +3,13 @@ PREDICATES =
 
 INTERFACE_FILES =              \
        content.mli             \
-       cicNotationUtil.mli     \
-       cicNotationEnv.mli      \
-       cicNotationPp.mli       \
+       notationUtil.mli        \
+       notationEnv.mli \
+       notationPp.mli  \
        interpretations.mli \
        $(NULL)
 IMPLEMENTATION_FILES =         \
-       cicNotationPt.ml        \
+       notationPt.ml   \
        $(INTERFACE_FILES:%.mli=%.ml)
 
 include ../../Makefile.defs