X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtkmathview%2FMakefile.in;h=2d0a519eae9a2626bb76d06dd0c310d0e8054e9b;hb=e7bcb20821caa3e03bf1b77a7e9f329aeaacab07;hp=bae76cfa9f9f145b547c83e5a938bdeabf9498a7;hpb=4bf7f0ebfdd388499250463242fd5a0dd625e66c;p=helm.git

diff --git a/helm/DEVEL/lablgtkmathview/Makefile.in b/helm/DEVEL/lablgtkmathview/Makefile.in
index bae76cfa9..2d0a519ea 100644
--- a/helm/DEVEL/lablgtkmathview/Makefile.in
+++ b/helm/DEVEL/lablgtkmathview/Makefile.in
@@ -3,11 +3,11 @@ VERSION = @VERSION@
 INCLUDEDIR = @OCAML_INCLUDE_DIR@
 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.mli gMathView.cmi gtkMathView.cmi gtk_mathview.cmi
+OBJECTS =  gtk_mathview.cmo gtkMathView.cmo gMathView.cmo gMathViewAux.cmo
+OBJECTS_OPT = gtkMathView.cmx gtk_mathview.cmx gMathView.cmx gMathViewAux.cmx
+INST = META gMathView.mli gMathView.cmi gtkMathView.cmi gtk_mathview.cmi gMathViewAux.cmi
 DIST_FILES = \
-  Makefile.in configure.in gMathView.ml gMathView.mli gtkMathView.ml \
+  Makefile.in configure.in gMathView.ml gMathView.mli gMathViewAux.ml gtkMathView.ml \
   gtk_mathview.ml ml_gtk_mathview.c META.in .depend debian/ test/ \
   configure lablgtkmathview.spec lablgtkmathview.spec.in
 DIST_DIR = $(PACKAGE)-$(VERSION)