makefile entry xml-validate-local

c9edc320 · MARCHE Claude · fa077ec4 · c9edc320
Commit c9edc320 authored Mar 21, 2013 by MARCHE Claude
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 0 deletions

Makefile.in Makefile.in +5 -0

No files found.
--- a/Makefile.in
+++ b/Makefile.in
@@ -449,6 +449,11 @@ xml-validate:
 	  xmllint --noout --valid $$x 2>&1 | head -1; \
 	done

+xml-validate-local:
+	@for x in `find examples/ -name why3session.xml`; do \
+	  xmllint --noout --dtdvalid share/why3session.dtd $$x 2>&1 | head -1; \
+	done
+
 ########
 # Config
 ########