syntactic components detached from basic_2 become static_2

[helm.git] / matita / matita / contribs / lambdadelta / compile_static.sh

diff --git a/matita/matita/contribs/lambdadelta/compile_static.sh b/matita/matita/contribs/lambdadelta/compile_static.sh
deleted file mode 100644 (file)
index 827c52e..0000000
--- a/matita/matita/contribs/lambdadelta/compile_static.sh
+++ /dev/null
@@ -1 +0,0 @@
-../../matitac.opt `cat static.txt`