9 *.pdf) cmd=docbook2pdf ;;
10 *.html) cmd='docbook2html --nochunks' ;;
11 *.7|*.8) cmd=docbook2man ;;
13 echo "Unknown filetype: ${output}" >&2
19 trap "rm -rf ${tmpdir}" EXIT
21 if ! ( cd `dirname ${input}` &&
22 ${cmd} -o ${tmpdir} `basename "${input}"` >/dev/null; )
24 echo "Building ${output} failed." >&2
28 mv "${tmpdir}/`basename "${output}"`" "${output}"
30 # Needed for make to recognize output file