8 # docbook2man inserts a date formatted using the current locale into its
9 # output. Using the "C" locale makes sure it's always in the default format.
13 *.pdf) cmd=docbook2pdf ;;
14 *.html) cmd='docbook2html --nochunks' ;;
15 *.7|*.8) cmd=docbook2man ;;
17 echo "Unknown filetype: ${output}" >&2
23 trap "rm -rf ${tmpdir}" EXIT
25 if ! ( cd `dirname ${input}` &&
26 ${cmd} -o ${tmpdir} `basename "${input}"` >/dev/null; )
28 echo "Building ${output} failed." >&2
32 mv "${tmpdir}/`basename "${output}"`" "${output}"
34 # Needed for make to recognize output file