diff options
Diffstat (limited to 'tools/yelp-check.in')
| -rwxr-xr-x | 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"` |