* lablgtk -> lablgtk2

[helm.git] / helm / DEVEL / lablgtkmathview / Makefile.in

diff --git a/helm/DEVEL/lablgtkmathview/Makefile.in b/helm/DEVEL/lablgtkmathview/Makefile.in
index 7a2975e918bc55adc792b3e43704251012de7252..4005b54f50d072e5fe37c7ec90b7e272adcc4fac 100644 (file)
--- 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  \