diff options
| author | Shaun McCance <shaunm@gnome.org> | 2014-06-18 12:38:02 -0400 |
|---|---|---|
| committer | Shaun McCance <shaunm@gnome.org> | 2014-06-18 12:38:02 -0400 |
| commit | 79b7023efe1e8955f22a0808c27fc78a4cea71e1 (patch) | |
| tree | cd7833a190cd2e169ce77a344827205d6f14b3c4 | |
| parent | c4ddc14c9ab83144df558fe32de4322ad0cc0c15 (diff) | |
| download | yelp-tools-79b7023efe1e8955f22a0808c27fc78a4cea71e1.tar.gz | |
yelp-check: Support .page.stub files
| -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"` |