#!/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}