X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.2.0%2Fminidom%2FMakefile;h=c64b0496bca406a66271a91e8795366dacaa3dd0;hb=bc14c3b3f2615a9a207412c8738098d8e8eee00a;hp=de7e7233bf17c786dc1f5ed854b7070eb577e7d1;hpb=cd9512e1dab9d1827ce153fc1765cd5208c67599;p=helm.git

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/Makefile b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/Makefile
index de7e7233b..c64b0496b 100644
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/Makefile
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/Makefile
@@ -30,7 +30,7 @@ test.opt: test.cmx minidom.cmi ml_minidom.o
         -cclib "`gtkmathview-config --libs`"
 
 clean:
-	rm -f *.o *.cm? test
+	rm -f *.o *.cm? test test.opt
 
 cleanbak:
 	rm -f *~