X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2FMakefile;h=31b7b13b34b5e5a0ee993a89747d8cd22e80e005;hb=9eb02226a5a879f8e12bbcb78ff414c1f20cd614;hp=e33ec50e3881bfd8f75da916c0318949e37a9a27;hpb=cca5f6b7431b846b7bdcbf813632cb79580d5874;p=helm.git

diff --git a/helm/software/lambda-delta/Makefile b/helm/software/lambda-delta/Makefile
index e33ec50e3..31b7b13b3 100644
--- a/helm/software/lambda-delta/Makefile
+++ b/helm/software/lambda-delta/Makefile
@@ -8,16 +8,14 @@ CLEAN = log.txt
 
 TAGS = test test-si test-si-fast hal xml-si
 
+XMLS = xml/grundlagen/l/not.ld.xml xml/grundlagen/l/con.ld.xml
+
 include Makefile.common
 
 INPUT = automath/grundlagen.aut
 
 INPUT-ORIG = automath/grundlagen-orig.aut
 
-XMLDIR = xml
-
-XMLLINT = xmllint --noout --stream --valid
-
 test: $(MAIN).opt
 	@echo "  HELENA -a -c $(INPUT)"
 	$(H)./$(MAIN).opt -a -c -S 3 $(O) $(INPUT) > log.txt
@@ -37,7 +35,3 @@ hal: $(MAIN).opt
 xml-si: $(MAIN).opt
 	@echo "  HELENA -u -x $(INPUT)"
 	$(H)./$(MAIN).opt -u -x -s 2 -S 1 $(INPUT) > log.txt
-
-lint: $(XMLS)
-	@echo XMLLINT --valid $(XMLDIR)/*.ld.xml
-	$(XMLLINT) --path $(XMLDIR) `find -name *.ld.xml`