blob: fc2b5ed863b1010abf3320dc2427cda35de58c79 (
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}
|
