Merge pull request #56928 from peterhoeg/f/rubber

rubber: fix build
This commit is contained in:
Peter Hoeg 2019-03-06 08:11:42 +08:00 committed by GitHub
commit ed3caf3d32
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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