X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fmetadata%2FMakefile;h=6c9aa763c535a934c394beaa95ef425d79813301;hb=818e4b4f4812ddb42a4647a205e4d14c0793b6aa;hp=d02d021a5b3844e6137924de968e3f26be100f8f;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/metadata/Makefile b/helm/software/components/metadata/Makefile
index d02d021a5..6c9aa763c 100644
--- a/helm/software/components/metadata/Makefile
+++ b/helm/software/components/metadata/Makefile
@@ -14,27 +14,3 @@ EXTRA_OBJECTS_TO_CLEAN =
 
 include ../../Makefile.defs
 include ../Makefile.common
-
-all: all_table_creator all_extractor
-opt: opt_table_creator opt_extractor
-
-all_table_creator:
-	@make -C table_creator/ all 
-opt_table_creator:
-	@make -C table_creator/ opt
-
-all_extractor:
-	@make -C extractor/ all
-opt_extractor:
-	@make -C extractor/ opt
-
-clean: clean_table_creator clean_extractor
-
-clean_table_creator:
-	@echo "  cleaning: table_creator"
-	@make -C table_creator/ clean 
-	
-clean_extractor:
-	@echo "  cleaning: extractor"
-	@make -C extractor/ clean
-