diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/yelp-check.in | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/yelp-check.in b/tools/yelp-check.in index f566a37..31d6545 100755 --- a/tools/yelp-check.in +++ b/tools/yelp-check.in @@ -593,6 +593,7 @@ yelp_validate_page () { check_out_file=`mktemp` check_rng_file=`( echo '<xsl:stylesheet' + echo ' xmlns:cache="http://projectmallard.org/cache/1.0/"' echo ' xmlns:xsl="http://www.w3.org/1999/XSL/Transform"' echo ' version="1.0">' echo '<xsl:output method="text"/>' @@ -601,6 +602,9 @@ yelp_validate_page () { echo '<xsl:when test="string(@version) != '"''"'">' echo '<xsl:value-of select="@version"/>' echo '</xsl:when>' + echo '<xsl:when test="/cache:cache">' + echo '<xsl:text>cache/1.0 1.0</xsl:text>' + echo '</xsl:when>' echo '<xsl:otherwise>' echo '<xsl:text>1.0</xsl:text>' echo '</xsl:otherwise>' @@ -648,7 +652,7 @@ yelp_validate () { for page in "$xml"/*.page; do yelp_validate_page "$page" || gret="$?" done - elif [ "x$ext" = "xpage" ]; then + elif [ "x$ext" = "xpage" -o "x$ext" = "xcache" ]; then yelp_validate_page "$xml" || gret="$?" else xmllint --noout --xinclude --noent --postvalid "$xml" || gret="$?" |