-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 gMathViewAux.mli