From 2d7da5a62e0159eee6cb6e32f19629432be5b27b Mon Sep 17 00:00:00 2001 From: "Tommy M. McGuire" Date: Wed, 24 Jun 2015 11:36:02 -0500 Subject: [PATCH] es: bugfix for man page install See Issue #8487. --- pkgs/shells/es/default.nix | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/shells/es/default.nix b/pkgs/shells/es/default.nix index 236c5d1f00fa..3a4574fb8e16 100644 --- a/pkgs/shells/es/default.nix +++ b/pkgs/shells/es/default.nix @@ -25,7 +25,8 @@ stdenv.mkDerivation { configureFlags="--with-readline --prefix=$(out) --bindir=$(out)/bin --mandir=$(out)/man"; preInstall = '' - mkdir -p $out/{bin,man} + mkdir -p $out/bin + mkdir -p $out/man/man1 ''; meta = with stdenv.lib; {