Makefile
branchecjdr
changeset 41 1eccaaededbe
parent 40 a073c4449384
child 42 58cf3c7d4b1b
--- a/Makefile	Thu Jan 26 16:51:15 2006 -0500
+++ b/Makefile	Thu Jan 26 16:51:38 2006 -0500
@@ -11,9 +11,7 @@
 TARGETS=jeuderologie rpgtheory $(FR_ARTICLES) $(EN_ARTICLES) $(UNPUBLISHED)
 HTML_FILES=index.en.html index.fr.html
 SGML_CATALOG_FILES=/etc/sgml/catalog
-xml_validate=xmllint --xinclude $(1) |			\
-	sed -e 's/\(xmlns:xi\|xml:base\)="[^"]*"//g' |	\
-	xmllint --valid --noout - 2>&1 | sed 's/^-:/$(1):/'
+xml_validate=xmllint --xinclude --postvalid --noout $(1)
 html_validate=true
 
 make_subdir=						\