diff options
Diffstat (limited to 'man/rst2man.sh')
-rwxr-xr-x | man/rst2man.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/man/rst2man.sh b/man/rst2man.sh index 8106ca4b..49a98fc5 100755 --- a/man/rst2man.sh +++ b/man/rst2man.sh @@ -1,7 +1,8 @@ #!/bin/bash -input=$1 -output=$2 +rst2man=$1 +input=$2 +output=$3 out_dir=$(dirname "${output}") in_file=$(basename "${input}") @@ -10,7 +11,7 @@ in_file=$(basename "${input}") # generated we first need to move it all into the build 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}" |