oasis files

This commit is contained in:
Simon Cruanes 2014-06-20 14:31:00 +02:00
parent f25c363851
commit 3a3738fda5

View file

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