diff options
author | Shaun McCance <shaunm@gnome.org> | 2015-05-31 09:08:05 -0400 |
---|---|---|
committer | Shaun McCance <shaunm@gnome.org> | 2015-05-31 09:10:04 -0400 |
commit | 6286b53fe217657d527c5776dff177e15f6372a1 (patch) | |
tree | 3f589b3f9d618fd531589cccea2bbf1ee61a3237 /tools | |
parent | 3c0f83d87b215b1262f78a7d30f152f9774d0b08 (diff) | |
download | yelp-tools-6286b53fe217657d527c5776dff177e15f6372a1.tar.gz |
yelp-build: Fixed media copying with -i for Mallard
When I changed the way yelp-build finds media files for Mallard
documents, I forgot to change a variable name in one place. So
the -i option to ignore missing media files actually causes it
to ignore all media files.
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/yelp-build.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/yelp-build.in b/tools/yelp-build.in index aab171f..a38bbf8 100755 --- a/tools/yelp-build.in +++ b/tools/yelp-build.in @@ -449,7 +449,7 @@ yelp_html_mal2html () { if [ "$line_src" != "$line_dest" ]; then line_dir=`dirname "$line_dest"` mkdir_p "$line_dir" - if [ -f "$minput" -o "x$html_ignore_media" != "x1" ]; then + if [ -f "$line_src" -o "x$html_ignore_media" != "x1" ]; then cp "$line_src" "$line_dest" fi fi |