| #!/bin/bash | |
| input=$1 | |
| output=$2 | |
| 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" | |
| rst2man "$out_dir/$in_file" "${output%.gz}" | |
| rm -f "${output}" | |
| gzip "${output%.gz}" |