X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_tactics%2FMakefile;fp=matita%2Fcomponents%2Fng_tactics%2FMakefile;h=0000000000000000000000000000000000000000;hb=a19551fd50df93951d78eea4c163d434f844047c;hp=b7a98406fcc6d010d7e39cd8379514caccd53cc2;hpb=ac91e70f52b1e56fa6729399026c06722f4a7e8b;p=helm.git

diff --git a/matita/components/ng_tactics/Makefile b/matita/components/ng_tactics/Makefile
deleted file mode 100644
index b7a98406f..000000000
--- a/matita/components/ng_tactics/Makefile
+++ /dev/null
@@ -1,21 +0,0 @@
-PACKAGE = ng_tactics
-
-INTERFACE_FILES = \
-  continuationals.mli \
-	nCicTacReduction.mli \
-	nTacStatus.mli \
-	nCicElim.mli \
-	nTactics.mli \
-        nnAuto.mli \
-	declarative.mli \
-	nDestructTac.mli \
-	nInversion.mli
-
-IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
-
-
-all:
-
-
-include ../../Makefile.defs
-include ../Makefile.common