]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.0/test/Makefile
...
[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20000829_gtkmathview-0.2.0 / test / Makefile
index ffc2b47714b74e189e3f3737d1745bd715a83de0..1d5f5e1f396128fc0faf6f0a776815fcf965293b 100644 (file)
@@ -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