lint target improved

[helm.git] / helm / software / lambda-delta / Makefile

diff --git a/helm/software/lambda-delta/Makefile b/helm/software/lambda-delta/Makefile
index e33ec50e3881bfd8f75da916c0318949e37a9a27..31b7b13b34b5e5a0ee993a89747d8cd22e80e005 100644 (file)
--- 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`