diff options
author | Petri Latvala <petri.latvala@intel.com> | 2018-01-16 11:55:58 +0200 |
---|---|---|
committer | Petri Latvala <petri.latvala@intel.com> | 2018-01-16 12:30:02 +0200 |
commit | 9f72eb171b4576fb5384c2daf0ea4d238a6624dd (patch) | |
tree | d19d5c5180c130d63fa27f292edbb07763222c7a | |
parent | c1411297b87a3a461ba8a9eb75c1b53f1d389d81 (diff) |
meson: Add quotes in man/rst2man.sh
If the directories contain spaces, rst2man.sh fails.
Signed-off-by: Petri Latvala <petri.latvala@intel.com>
Reviewed-by: Arkadiusz Hiler <arkadiusz.hiler@intel.com>
-rwxr-xr-x | man/rst2man.sh | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/man/rst2man.sh b/man/rst2man.sh index fc2b5ed8..8106ca4b 100755 --- a/man/rst2man.sh +++ b/man/rst2man.sh @@ -3,14 +3,14 @@ input=$1 output=$2 -out_dir=$(dirname ${output}) -in_file=$(basename ${input}) +out_dir=$(dirname "${output}") +in_file=$(basename "${input}") # rst2man doesn't handle multiple source directories well, and since defs.rst is # generated we first need to move it all into the build dir -cp $input $out_dir +cp "$input" "$out_dir" -rst2man $out_dir/$in_file ${output%.gz} +rst2man "$out_dir/$in_file" "${output%.gz}" -rm -f ${output} -gzip ${output%.gz} +rm -f "${output}" +gzip "${output%.gz}" |