diff options
author | José Romildo Malaquias <malaquias@gmail.com> | 2020-07-01 11:41:44 -0300 |
---|---|---|
committer | José Romildo Malaquias <malaquias@gmail.com> | 2020-07-01 11:41:44 -0300 |
commit | 5c021a4bbd813a98de960e2e804425f69f559a74 (patch) | |
tree | 66708703ef5ca23c8a9dd5f8078967b12d9cf365 | |
parent | 5f21dfd306093a86f60698d1e49acdf25cce6dd0 (diff) |
tint2: fix doc directory
Documentation files should not be installed directly at $out/share/doc because they may collide with files from other packages when paths are linked in the system environment.
-rw-r--r-- | pkgs/applications/misc/tint2/default.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/applications/misc/tint2/default.nix b/pkgs/applications/misc/tint2/default.nix index 242a4e76c05ad..326dd3c0d92a1 100644 --- a/pkgs/applications/misc/tint2/default.nix +++ b/pkgs/applications/misc/tint2/default.nix @@ -59,6 +59,10 @@ stdenv.mkDerivation rec { libstartup_notification ]; + cmakeFlags = [ + "-Ddocdir=share/doc/${pname}" + ]; + postPatch = '' for f in ./src/launcher/apps-common.c \ ./src/launcher/icon-theme-common.c |