X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcontent_pres%2FMakefile;h=a3b153029b6391b5cefb7918193ec1d52ac90220;hb=06a089726af079d5b2fe42ba78632565dad0eb3e;hp=5613ff9ffc59abad275425c3ff72368cb0fd6ff9;hpb=27ce29cfef1e71c00ee19d2c00c9f425f9efb031;p=helm.git

diff --git a/components/content_pres/Makefile b/components/content_pres/Makefile
index 5613ff9ff..a3b153029 100644
--- a/components/content_pres/Makefile
+++ b/components/content_pres/Makefile
@@ -12,6 +12,9 @@ INTERFACE_FILES =		\
 	cicNotationPres.mli	\
 	boxPp.mli		\
 	content2pres.mli	\
+	cicClassify.mli         \
+	proceduralTypes.mli     \
+	acic2Procedural.mli     \
 	objPp.mli		\
 	sequent2pres.mli	\
 	$(NULL)