]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/Makefile
* <I> ==> <em> everywhere
[helm.git] / helm / mowgli / home / xml / Makefile
diff --git a/helm/mowgli/home/xml/Makefile b/helm/mowgli/home/xml/Makefile
new file mode 100644 (file)
index 0000000..adf0b59
--- /dev/null
@@ -0,0 +1,15 @@
+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