[yelp-tools] yelp-check: DTD validation on DocBook

[Shaun McCance <shaunm src gnome org>]

commit f3186357dec921b10df12548ab2c523a6eb99367
Author: Shaun McCance <shaunm gnome org>
Date:   Thu May 5 13:13:26 2011 -0400

    yelp-check: DTD validation on DocBook

 tools/yelp-check.in |    5 ++++-
 1 files changed, 4 insertions(+), 1 deletions(-)
---
diff --git a/tools/yelp-check.in b/tools/yelp-check.in
index a72cf8d..79464db 100755
--- a/tools/yelp-check.in
+++ b/tools/yelp-check.in
@@ -253,12 +253,15 @@ yelp_validate () {
     fi
     gret="0"
     for xml in "$@"; do
+        ext=`echo "$1" | sed -e 's/.*\.//'`
         if [ -d "$xml" ]; then
             for page in "$xml"/*.page; do
                 yelp_validate_page "$page" || gret="$?"
             done
-        else
+        elif [ "x$ext" = "xpage" ]; then
             yelp_validate_page "$xml" || gret="$?"
+        else
+            xmllint --noout --xinclude --noent --postvalid "$xml" || gret="$?"
         fi
     done
     exit "$gret"