From 3a3738fda5f1993e8f4c572bfce57b5f771ed8e3 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 20 Jun 2014 14:31:00 +0200
Subject: [PATCH] oasis files

---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 5751211b..d2e1bbb3 100644
--- a/Makefile
+++ b/Makefile
@@ -79,9 +79,12 @@ push-stable: all
 	git push origin
 	git checkout master
 
+clean-generated:
+	rm **/*.{mldylib,mlpack,mllib} myocamlbuild.ml -f
+
 test-all: test qtest
 
 tags:
 	otags *.ml *.mli
 
-.PHONY: examples push_doc tags qtest
+.PHONY: examples push_doc tags qtest push-stable clean-generated