]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtkmathview/Makefile.in
* restored binding with gtkmathview 0.4.0
[helm.git] / helm / DEVEL / lablgtkmathview / Makefile.in
index bae76cfa9f9f145b547c83e5a938bdeabf9498a7..2d0a519eae9a2626bb76d06dd0c310d0e8054e9b 100644 (file)
@@ -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)