[yelp-tools] yelp-check: Support .page.stub files

[Shaun McCance <shaunm src gnome org>]

commit 79b7023efe1e8955f22a0808c27fc78a4cea71e1
Author: Shaun McCance <shaunm gnome org>
Date:   Wed Jun 18 12:38:02 2014 -0400

    yelp-check: Support .page.stub files

 tools/yelp-check.in |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/tools/yelp-check.in b/tools/yelp-check.in
index 7cb0d95..124d796 100755
--- a/tools/yelp-check.in
+++ b/tools/yelp-check.in
@@ -646,7 +646,7 @@ yelp_license () {
             for page in "$xml"/*.page; do
                 yelp_license_page "$page" || gret="$?"
             done
-        elif [ "x$ext" = "xpage" -o "x$ext" = "xcache" ]; then
+        elif [ "x$ext" = "xpage" -o "x$ext" = "xstub" -o "x$ext" = "xcache" ]; then
             yelp_license_page "$xml" || gret="$?"
         else
            echo "Unrecognized page " $xml 2>&1
@@ -808,7 +808,7 @@ yelp_validate () {
             for page in "$xml"/*.page; do
                 yelp_validate_page "$page" || gret="$?"
             done
-        elif [ "x$ext" = "xpage" -o "x$ext" = "xcache" ]; then
+        elif [ "x$ext" = "xpage" -o "x$ext" = "xstub" -o "x$ext" = "xcache" ]; then
             yelp_validate_page "$xml" || gret="$?"
         else
             version=`echo "$docbook_version" | xsltproc - "$xml"`