diff options
author | Jan Tojnar <jtojnar@gmail.com> | 2017-11-23 20:21:32 +0100 |
---|---|---|
committer | Jan Tojnar <jtojnar@gmail.com> | 2017-11-24 02:09:44 +0100 |
commit | 70a0580e3807c90f05665d0decae2e7032347f29 (patch) | |
tree | 08a53b970b047c31cb2b6e79429f2fe9f9a0d5fd /pkgs | |
parent | d6d96c3274a1b0dac6fa56f382719168f9a188af (diff) |
stdenv: Move devhelp books to outputDevdoc
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/build-support/setup-hooks/multiple-outputs.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/build-support/setup-hooks/multiple-outputs.sh b/pkgs/build-support/setup-hooks/multiple-outputs.sh index 60d4ccf99ed1f..5e788f3197807 100644 --- a/pkgs/build-support/setup-hooks/multiple-outputs.sh +++ b/pkgs/build-support/setup-hooks/multiple-outputs.sh @@ -140,6 +140,7 @@ _multioutDocs() { moveToOutput share/info "${!outputInfo}" moveToOutput share/doc "${!outputDoc}" moveToOutput share/gtk-doc "${!outputDevdoc}" + moveToOutput share/devhelp/books "${!outputDevdoc}" # the default outputMan is in $bin moveToOutput share/man "${!outputMan}" |