]> matita.cs.unibo.it Git - helm.git/commitdiff
Some spourious files removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 16 Nov 2001 14:56:04 +0000 (14:56 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 16 Nov 2001 14:56:04 +0000 (14:56 +0000)
helm/DEVEL/lablgtkmathview/Makefile.in

index 3dc357ea6f34eaf47b481add0e50dfb91dfddb11..e7d9c0d5076749dda7d6b94a12c87964e8457a14 100644 (file)
@@ -7,8 +7,8 @@ OBJECTS =  gtk_mathview.cmo gtkMathView.cmo gMathView.cmo
 OBJECTS_OPT = gtkMathView.cmx gtk_mathview.cmx gMathView.cmx
 INST = META gMathView.cmi gtkMathView.cmi gtk_mathview.cmi
 DIST_FILES = \
-  AUTHORS COPYING ChangeLog LICENSE Makefile.in NEWS README configure \
-  configure.in configure.mk gMathView.ml gtkMathView.ml gtk_mathview.ml \
+  AUTHORS COPYING ChangeLog LICENSE Makefile.in NEWS README \
+  configure.in gMathView.ml gtkMathView.ml gtk_mathview.ml \
   ml_gtk_mathview.c META.in
 DOC_FILES = AUTHORS COPYING ChangeLog NEWS README
 REQUIRES = mlminidom lablgtk