diff options
author | Peter Hoeg <peter@hoeg.com> | 2019-03-06 08:11:42 +0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-06 08:11:42 +0800 |
commit | ed3caf3d32c64bddf9b00535c74910a40794d2d6 (patch) | |
tree | 920ff8e06d846f16334ed3507e9e63cc61103f94 /pkgs/tools/typesetting | |
parent | d3ff902e946aa7eed206332c14b7caad06ee233d (diff) | |
parent | 074f57b4a83a2d6b3c53a154e88b31b4d2727b10 (diff) |
Merge pull request #56928 from peterhoeg/f/rubber
rubber: fix build
Diffstat (limited to 'pkgs/tools/typesetting')
-rw-r--r-- | pkgs/tools/typesetting/rubber/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/tools/typesetting/rubber/default.nix b/pkgs/tools/typesetting/rubber/default.nix index 92c1cc526955..21d83dd1dd06 100644 --- a/pkgs/tools/typesetting/rubber/default.nix +++ b/pkgs/tools/typesetting/rubber/default.nix @@ -9,7 +9,7 @@ python3Packages.buildPythonApplication rec { sha256 = "178dmrp0mza5gqjiqgk6dqs0c10s0c517pk6k9pjbam86vf47a1p"; }; - propagatedBuildInputs = [ texinfo ]; + nativeBuildInputs = [ texinfo ]; # I couldn't figure out how to pass the proper parameter to disable pdf generation, so we # use sed to change the default |