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 \