More docs/manpages in separate outputs

2015-07-27 00:27:54 +02:00
parent f41201ef97
commit e1f78bf677
15 changed files with 44 additions and 1 deletions
@@ -12,6 +12,8 @@ stdenv.mkDerivation rec {
    sha256 = "17bqykp604p7376wj3q2nmjdhrb6v1ny8q08zdwi7qvc02l9wrsi";
  };

+  outputs = [ "out" "doc" "man" ];
+
  configureFlags = ''
    --enable-jit
    ${if unicodeSupport then "--enable-unicode-properties" else ""}