summaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorPetri Latvala <petri.latvala@intel.com>2018-01-16 11:55:58 +0200
committerPetri Latvala <petri.latvala@intel.com>2018-01-16 12:30:02 +0200
commit9f72eb171b4576fb5384c2daf0ea4d238a6624dd (patch)
treed19d5c5180c130d63fa27f292edbb07763222c7a /man
parentc1411297b87a3a461ba8a9eb75c1b53f1d389d81 (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>
Diffstat (limited to 'man')
-rwxr-xr-xman/rst2man.sh12
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}"