GENERATED_FILES = gtkMathViewProps.ml ogtkMathViewProps.ml
INST = \
META gMathView.mli gMathView.cmi gtkMathView.cmi gtk_mathview.cmi \
GENERATED_FILES = gtkMathViewProps.ml ogtkMathViewProps.ml
INST = \
META gMathView.mli gMathView.cmi gtkMathView.cmi gtk_mathview.cmi \