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