X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatex%2FMakefile;h=7783a057045642710034fd53111be2317b46b2b0;hb=ef225b816c82d4fad37993f963804e51152f4dac;hp=b437afb5b00925671ed2fc3420343e49d847b067;hpb=b161347767b1cb67c4f5b115e4414b85ac4b2183;p=helm.git

diff --git a/matita/components/binaries/matex/Makefile b/matita/components/binaries/matex/Makefile
index b437afb5b..7783a0570 100644
--- a/matita/components/binaries/matex/Makefile
+++ b/matita/components/binaries/matex/Makefile
@@ -1,9 +1,4 @@
 EXEC = matex
-VERSION=0.1.0
-
-REQUIRES = helm-ng_library
-
-include ../Makefile.common
 
 MATEX    = ./$(EXEC).native
 PROBE    = ../probe/probe.native