blob: 8106ca4b57b577b301fb87c5432a960d0ace3b4b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
#!/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}"
|
