]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/ocaml-http/examples/Makefile
no longer use -pack and Http.*, now interface is the usual Http_*
[helm.git] / helm / DEVEL / ocaml-http / examples / Makefile
index 51e5e2f3b89a9f28b6d46e3ee4f0393e79ea2dee..794b64ef47c8d5d8730d0d3ccd86c7b3d44ef881 100644 (file)
@@ -14,4 +14,4 @@ opt: $(patsubst %,%.opt,$(EXAMPLES))
 
 distclean: clean
 clean:
-       -rm -f *.cm[ioax] *.o $(EXAMPLES)
+       -rm -f *.cm[ioax] *.o $(EXAMPLES) $(patsubst %,%.opt,$(EXAMPLES))