gnome-builder: include developer docs in $out · e32a5dafaf - nixpkgs - Fudo Git

gnome-builder: include developer docs in $out

This commit is contained in:

Jamey Sharp

2018-07-30 21:43:12 -07:00

parent 6ae9723cfb

commit e32a5dafaf

1 changed files with 2 additions and 0 deletions

									
										pkgs/applications/editors/gnome-builder/default.nix
									
		+2
		
												View File
												
					@@ -73,6 +73,8 @@ in stdenv.mkDerivation {

					    webkitgtk

					    webkitgtk

					  ];

					  ];

					  outputDevdoc = "out";

					  prePatch = ''

					  prePatch = ''

					    patchShebangs build-aux/meson/post_install.py

					    patchShebangs build-aux/meson/post_install.py

					  '';

					  '';