Merge pull request #186387 from amjoseph-nixpkgs/pr/colordiff/w3m-batch

colordiff: use w3m-batch instead of w3m
This commit is contained in:
Stig 2022-08-13 10:55:36 +02:00 committed by GitHub
commit 81a0c70cf0
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,4 +1,4 @@
{ lib, stdenv, fetchFromGitHub, docbook_xml_dtd_412, docbook_xsl, perl, w3m, xmlto, diffutils }:
{ lib, stdenv, fetchFromGitHub, docbook_xml_dtd_412, docbook_xsl, perl, w3m-batch, xmlto, diffutils }:
stdenv.mkDerivation rec {
pname = "colordiff";
@ -11,7 +11,7 @@ stdenv.mkDerivation rec {
sha256 = "sha256-+TtVnUX88LMd8zmhLsKTyR9JlgR7IkUB18PF3LRgPB0=";
};
nativeBuildInputs = [ docbook_xml_dtd_412 docbook_xsl perl w3m xmlto ];
nativeBuildInputs = [ docbook_xml_dtd_412 docbook_xsl perl w3m-batch xmlto ];
buildInputs = [ perl ];