diff options
Diffstat (limited to 'pkgs/data/documentation/rnrs/builder.sh')
| -rw-r--r-- | pkgs/data/documentation/rnrs/builder.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/data/documentation/rnrs/builder.sh b/pkgs/data/documentation/rnrs/builder.sh index 096dd2a8ca75..6ec5c855abab 100644 --- a/pkgs/data/documentation/rnrs/builder.sh +++ b/pkgs/data/documentation/rnrs/builder.sh @@ -4,9 +4,9 @@ source "$stdenv/setup" || exit 1 echo "source is \`$src', report name is \`$reportName'" -ensureDir "$out/share/info" && \ +mkdir -p "$out/share/info" && \ makeinfo -o "$out/share/info/${reportName}.info" "$src" # XXX: HTML output is apparently broken. -#ensureDir "$out/share/doc/${reportName}" && \ +#mkdir -p "$out/share/doc/${reportName}" && \ #makeinfo -o "$out/share/doc/${reportName}/html" --html --force "$src" |