gMathView.mli added

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

diff --git a/helm/DEVEL/lablgtkmathview/Makefile.in b/helm/DEVEL/lablgtkmathview/Makefile.in
index 93c872f052a4c35c91e659e6a290bfb3c1faaa33..5c3dbfdeba68a6cf48751fe84394981576406d74 100644 (file)
--- a/helm/DEVEL/lablgtkmathview/Makefile.in
+++ b/helm/DEVEL/lablgtkmathview/Makefile.in
@@ -5,7 +5,7 @@ PREFIX =
 OBJECTS_C = ml_gtk_mathview.o
 OBJECTS =  gtk_mathview.cmo gtkMathView.cmo gMathView.cmo
 OBJECTS_OPT = gtkMathView.cmx gtk_mathview.cmx gMathView.cmx
-INST = META gMathView.cmi gtkMathView.cmi gtk_mathview.cmi
+INST = META gMathView.mli gMathView.cmi gtkMathView.cmi gtk_mathview.cmi
 DIST_FILES = \
   AUTHORS COPYING ChangeLog LICENSE Makefile.in NEWS README \
   configure.in gMathView.ml gtkMathView.ml gtk_mathview.ml \