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

diff --git a/matita/components/getter/Makefile b/matita/components/getter/Makefile
deleted file mode 100644
index 0f2132eec..000000000
--- a/matita/components/getter/Makefile
+++ /dev/null
@@ -1,21 +0,0 @@
-
-PACKAGE = getter
-
-INTERFACE_FILES =		\
-  	http_getter_wget.mli	\
-	http_getter_logger.mli	\
-	http_getter_misc.mli	\
-	http_getter_const.mli	\
-	http_getter_env.mli	\
-	http_getter_storage.mli	\
-	http_getter_common.mli	\
-	http_getter.mli		\
-	$(NULL)
-
-IMPLEMENTATION_FILES = \
-	http_getter_types.ml \
-	$(INTERFACE_FILES:%.mli=%.ml)
-
-include ../../Makefile.defs
-include ../Makefile.common
-