X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FMakefile.in;h=4005b54f50d072e5fe37c7ec90b7e272adcc4fac;hb=d3c72d6856cd185e5b3e9f2e8b928b78c7031ed1;hp=7a2975e918bc55adc792b3e43704251012de7252;hpb=27d8bd4a928dbc6271b6adfb090c13af73af2166;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/Makefile.in b/helm/DEVEL/lablgtkmathview/Makefile.in
index 7a2975e91..4005b54f5 100644
--- a/helm/DEVEL/lablgtkmathview/Makefile.in
+++ b/helm/DEVEL/lablgtkmathview/Makefile.in
@@ -9,6 +9,7 @@ OBJECTS_OPT = gtkMathViewProps.cmx ogtkMathViewProps.cmx gtkMathView.cmx gtk_mat
 GENERATED_FILES = gtkMathViewProps.ml ogtkMathViewProps.ml
 INST =	\
 	META gMathView.mli gMathView.cmi gtkMathView.cmi gtk_mathview.cmi	\
+	gtkMathViewProps.cmi ogtkMathViewProps.cmi \
 	gMathViewAux.cmi gMathViewAux.mli
 DIST_FILES = \
   Makefile.in configure.in gMathView.ml gMathView.mli	\