Merge pull request #67531 from jonringer/bump-texi2html

texi2html: 1.82 -> 5.0
This commit is contained in:
Marek Mahut 2019-08-27 10:35:45 +02:00 committed by GitHub
commit 9760593a52
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,20 +1,27 @@
{ stdenv, fetchurl, perl }:
{ stdenv, fetchurl, perl, gettext }:
stdenv.mkDerivation rec {
name = "texi2html-1.82";
pname = "texi2html";
version = "5.0";
src = fetchurl {
url = "mirror://savannah/texi2html/${name}.tar.bz2";
sha256 = "1wdli2szkgm3l0vx8rf6lylw0b0m47dlz9iy004n928nqkzix76n";
url = "mirror://savannah/texi2html/${pname}-${version}.tar.bz2";
sha256 = "1yprv64vrlcbksqv25asplnjg07mbq38lfclp1m5lj8cw878pag8";
};
buildInputs = [perl];
nativeBuildInputs = [ gettext ];
buildInputs = [ perl ];
meta = {
preBuild = ''
substituteInPlace separated_to_hash.pl \
--replace "/usr/bin/perl" "${perl}/bin/perl"
'';
meta = with stdenv.lib; {
description = "Perl script which converts Texinfo source files to HTML output";
homepage = https://www.nongnu.org/texi2html/;
license = stdenv.lib.licenses.gpl2;
maintainers = [stdenv.lib.maintainers.marcweber];
platforms = stdenv.lib.platforms.unix;
license = licenses.gpl2;
maintainers = [ maintainers.marcweber ];
platforms = platforms.unix;
};
}