X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2FMakefile;h=a3b153029b6391b5cefb7918193ec1d52ac90220;hb=3ce05ecd50428a27ce17adb070620aeeaf2aed65;hp=5613ff9ffc59abad275425c3ff72368cb0fd6ff9;hpb=bdf989481462c1185c9cbbfdd4b31d13aa4352b3;p=helm.git

diff --git a/helm/software/components/content_pres/Makefile b/helm/software/components/content_pres/Makefile
index 5613ff9ff..a3b153029 100644
--- a/helm/software/components/content_pres/Makefile
+++ b/helm/software/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)