auxiliary executables (xoa, matitadep, probe, matex) ported to dune

[helm.git] / matita / components / binaries / matitadep / Makefile

diff --git a/matita/components/binaries/matitadep/Makefile b/matita/components/binaries/matitadep/Makefile
deleted file mode 100644 (file)
index 2fe33e6..0000000
--- a/matita/components/binaries/matitadep/Makefile
+++ /dev/null
@@ -1,6 +0,0 @@
-EXEC = matitadep
-VERSION=0.1.0
-
-REQUIRES = helm-ng_library
-
-include ../Makefile.common