gnome-builder: split devdoc to a separate output

This commit is contained in:
Jamey Sharp 2018-07-31 17:04:03 -07:00
parent 63445d0120
commit e0180052a7

View file

@ -78,7 +78,7 @@ in stdenv.mkDerivation {
webkitgtk
];
outputDevdoc = "out";
outputs = [ "out" "devdoc" ];
prePatch = ''
patchShebangs build-aux/meson/post_install.py