- renamed ocaml/ to components/

[helm.git] / helm / matita / dist / static_link / Makefile

diff --git a/helm/matita/dist/static_link/Makefile b/helm/matita/dist/static_link/Makefile
deleted file mode 100644 (file)
index 5a02bb3..0000000
--- a/helm/matita/dist/static_link/Makefile
+++ /dev/null
@@ -1,5 +0,0 @@
-all: static_link
-static_link: static_link.ml
-       ocamlfind ocamlc -package unix,str -linkpkg -o $@ $<
-clean:
-       rm -f static_link.cm* static_link