]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/Makefile
This commit was manufactured by cvs2svn to create branch 'init'.
[helm.git] / helm / mowgli / home / xml / Makefile
diff --git a/helm/mowgli/home/xml/Makefile b/helm/mowgli/home/xml/Makefile
deleted file mode 100644 (file)
index adf0b59..0000000
+++ /dev/null
@@ -1,15 +0,0 @@
-check:
-       find . -name "*.xml" -exec xmllint -valid -loaddtd -noout {} \; 2> errors
-       if [ -s errors ] ; \
-        then \
-         echo ; \
-         echo "**************************************************" ; \
-         echo "There are validity errors. Check the file \"errors\"" ; \
-         echo "**************************************************" ; \
-        else \
-         rm errors ; \
-         echo ; \
-         echo "****************************" ; \
-         echo "All the documents are valid." ; \
-         echo "****************************" ; \
-       fi