diff options
author | Shaun McCance <shaunm@gnome.org> | 2015-06-15 15:04:36 -0400 |
---|---|---|
committer | Shaun McCance <shaunm@gnome.org> | 2015-06-15 15:04:36 -0400 |
commit | 81a9abddd1963ceaf7c4633399e7b8b2b2307653 (patch) | |
tree | 594ed06e7c93cf04b1e454259277973c0f70443b /tools/yelp-build.in | |
parent | 1c32c10b252819b59177f6fc3f357a1cdc05b9fb (diff) | |
download | yelp-tools-81a9abddd1963ceaf7c4633399e7b8b2b2307653.tar.gz |
Convert tabs to spaces
Diffstat (limited to 'tools/yelp-build.in')
-rwxr-xr-x | tools/yelp-build.in | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/tools/yelp-build.in b/tools/yelp-build.in index c78db95..9eda997 100755 --- a/tools/yelp-build.in +++ b/tools/yelp-build.in @@ -1,6 +1,8 @@ #!/bin/sh +# -*- indent-tabs-mode: nil -*- +# # yelp-build -# Copyright (C) 2010 Shaun McCance <shaunm@gnome.org> +# Copyright (C) 2010-2015 Shaun McCance <shaunm@gnome.org> # # This program is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -295,8 +297,8 @@ yelp_html_db2html () { moutput="$html_out/$mfile" mkdir_p `dirname "$moutput"` if [ ! -f "$minput" -a "x$html_paths" != "x" ]; then - minput_rel=${minput#"$(pwd)/"} - if [ "x$minput_rel" != "x$minput_src" ]; then + minput_rel=${minput#"$(pwd)/"} + if [ "x$minput_rel" != "x$minput_src" ]; then for path in $html_paths; do if [ -f "$path/$minput_rel" ]; then minput="$path/$minput_rel" @@ -424,7 +426,7 @@ yelp_html_mal2html () { - "$html_tmp_infile") | sort | uniq | \ while read line; do use_internal_datadir=$(echo "$line" | cut -c1) - line=$(echo "$line" | cut -c2-) + line=$(echo "$line" | cut -c2-) line_src=$(echo "$line" | cut -d' ' -f1 | urldecode) if [ "x$use_internal_datadir" = "x+" ]; then line_dest="$html_out/$html_internal_datadir"$(echo "$line" | cut -d' ' -f2) @@ -432,8 +434,8 @@ yelp_html_mal2html () { line_dest="$html_out/"$(echo "$line" | cut -d' ' -f2) fi if [ ! -f "$line_src" -a "x$html_paths" != "x" ]; then - line_src_rel=${line_src#"$(pwd)/"} - if [ "x$line_src_rel" != "x$line_src" ]; then + line_src_rel=${line_src#"$(pwd)/"} + if [ "x$line_src_rel" != "x$line_src" ]; then for path in $html_paths; do if [ -f "$path/$line_src_rel" ]; then line_src="$path/$line_src_rel" |