blob: 6ec5c855ababe4004ab616de3f14e643c0775e75 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
|
source "$stdenv/setup" || exit 1
# XXX: Eventually we could consider building the PDF/PS files as well.
echo "source is \`$src', report name is \`$reportName'"
mkdir -p "$out/share/info" && \
makeinfo -o "$out/share/info/${reportName}.info" "$src"
# XXX: HTML output is apparently broken.
#mkdir -p "$out/share/doc/${reportName}" && \
#makeinfo -o "$out/share/doc/${reportName}/html" --html --force "$src"
|