gMathViewAux.cmi gMathViewAux.mli
DIST_FILES = \
Makefile.in configure.in gMathView.ml gMathView.mli \
gMathViewAux.ml gMathViewAux.mli gtkMathView.ml \
gtk_mathview.ml ml_gtk_mathview.c META.in .depend debian/ test/ \
gMathViewAux.cmi gMathViewAux.mli
DIST_FILES = \
Makefile.in configure.in gMathView.ml gMathView.mli \
gMathViewAux.ml gMathViewAux.mli gtkMathView.ml \
gtk_mathview.ml ml_gtk_mathview.c META.in .depend debian/ test/ \