summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorShaun McCance <shaunm@gnome.org>2015-04-03 08:42:26 -0400
committerShaun McCance <shaunm@gnome.org>2015-04-03 08:42:26 -0400
commit0191878e599e5b0a809ff1a7a2cbaa56728a0961 (patch)
tree0115780d2f63a68bcf048c0d7e995175668c7f69 /tools
parent65438f09534c4abc5b968626f9b2547dfdd0503d (diff)
downloadyelp-tools-0191878e599e5b0a809ff1a7a2cbaa56728a0961.tar.gz
yelp-check: Check media correctly in subdirs, #727557
Diffstat (limited to 'tools')
-rwxr-xr-xtools/yelp-check.in13
1 files changed, 11 insertions, 2 deletions
diff --git a/tools/yelp-check.in b/tools/yelp-check.in
index 124d796..324775e 100755
--- a/tools/yelp-check.in
+++ b/tools/yelp-check.in
@@ -482,7 +482,15 @@ yelp_links () {
yelp_media_page () {
ext=`echo "$1" | sed -e 's/.*\.//'`
bname=`basename "$1" ".$ext"`
- xsltproc --stringparam basename "$bname" "$xsl_media" "$1"
+ dname=$(dirname "$xml")
+ if [ x"$dname" = "." ]; then
+ dname=""
+ else
+ dname="$dname"/
+ fi;
+ xsltproc --stringparam basename "$bname" \
+ --stringparam dirname "$dname" \
+ "$xsl_media" "$1"
}
yelp_media () {
@@ -499,8 +507,9 @@ yelp_media () {
yelp_media_page "$xml"
fi
done | while read line; do
+ dname=$(dirname $(echo "$line" | cut -d' ' -f1))
src=$(urldecode $(echo "$line" | cut -d' ' -f2))
- if [ ! -f "$src" ]; then
+ if [ ! -f "$dname"/"$src" ]; then
echo $line
fi
done