]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/minidom/Makefile
Binding completed and tested. Makefile still to do.
[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20000829_gtkmathview-0.2.0 / minidom / Makefile
index de7e7233bf17c786dc1f5ed854b7070eb577e7d1..c64b0496bca406a66271a91e8795366dacaa3dd0 100644 (file)
@@ -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 *~