]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/Makefile
snapshot, notably:
[helm.git] / helm / mowgli / home / xml / Makefile
1 check:
2         find . -name "*.xml" -exec xmllint -valid -loaddtd -noout {} \; 2> errors
3         if [ -s errors ] ; \
4          then \
5           echo ; \
6           echo "**************************************************" ; \
7           echo "There are validity errors. Check the file \"errors\"" ; \
8           echo "**************************************************" ; \
9          else \
10           rm errors ; \
11           echo ; \
12           echo "****************************" ; \
13           echo "All the documents are valid." ; \
14           echo "****************************" ; \
15         fi