diff options
author | Shaun McCance <shaunm@gnome.org> | 2012-03-06 13:53:57 -0500 |
---|---|---|
committer | Shaun McCance <shaunm@gnome.org> | 2012-03-06 13:53:57 -0500 |
commit | 81b0d47527816b0d9d4e2908aca7616878e98cad (patch) | |
tree | 23b5b43fc1efdad98088b01b71eed53c19e1e9e7 /tools/yelp-check.in | |
parent | 591350f373281cb818d97de6d64bf51feae380bd (diff) | |
download | yelp-tools-81b0d47527816b0d9d4e2908aca7616878e98cad.tar.gz |
yelp-check: Adding --strict option to validate
Diffstat (limited to 'tools/yelp-check.in')
-rwxr-xr-x | tools/yelp-check.in | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/tools/yelp-check.in b/tools/yelp-check.in index b6906df..ee35d55 100755 --- a/tools/yelp-check.in +++ b/tools/yelp-check.in @@ -123,6 +123,9 @@ yelp_usage_validate () { echo " Validate FILES against the appropriate DTD or RNG." echo " For Mallard pages, perform automatic RNG merging" echo " based on the version attribute." + echo "" + echo "Options:" + echo " --strict Disallow unknown namespaces" ) 1>&2 } @@ -460,7 +463,7 @@ yelp_validate_page () { # version strings often contain slashes. But xsltproc treats the # -o option as a URL and urldecodes, so doubly urlencode, because # we want the urlencoded string to be the on-disk name. - xsltproc -o "$check_rng_dir/"`urlencode "$check_rng_file"` "$xsl_mal_rng" "$1" + xsltproc -o "$check_rng_dir/"`urlencode "$check_rng_file"` --param rng.strict "$check_strict" "$xsl_mal_rng" "$1" fi xmllint --noout --xinclude --noent --relaxng "$check_rng_dir/$check_rng_file" "$1" > "$check_out_file" 2>&1 ret="$?" @@ -475,6 +478,18 @@ yelp_validate () { exit 1 fi gret="0" + check_strict="false()" + while [ "$#" != "0" ]; do + case "$1" in + "--strict") + check_strict="true()" + shift + ;; + *) + break + ;; + esac + done for xml in "$@"; do ext=`echo "$1" | sed -e 's/.*\.//'` if [ -d "$xml" ]; then |