Merge pull request #31987 from jtojnar/devhelp-devdoc

stdenv: Move devhelp books to outputDevdoc
2017-11-25 23:14:47 +00:00
parent 7641f1122a 2bffd5f45f
commit 29b2984b0c
6 changed files with 11 additions and 2 deletions
@@ -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}"