X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk_gtkmathview%2Flablgtk-20000829_gtkmathview-0.2.0%2Ftest%2FMakefile;h=1d5f5e1f396128fc0faf6f0a776815fcf965293b;hb=b1fb6b8e1767d775bc452303629e95941d142bea;hp=ffc2b47714b74e189e3f3737d1745bd715a83de0;hpb=0d9d6be5c3d0800c30af3db0d76101dc54743464;p=helm.git

diff --git a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/test/Makefile b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/test/Makefile
index ffc2b4771..1d5f5e1f3 100644
--- a/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/test/Makefile
+++ b/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/test/Makefile
@@ -40,4 +40,4 @@ test.opt: test.cmx
 	$(OCAMLOPT) -c $<
 
 clean:
-	rm -f *.cm[iox] *.o test test.opt
+	rm -f *.cm[iox] *.o test test.opt t1lib.log