yelp-tools: clean up

- Correct license
- Update platforms
- Format and reorder expression
master
Jan Tojnar 2021-02-01 20:14:13 +01:00
parent 6f1546e33c
commit 64ea2687a8
No known key found for this signature in database
GPG Key ID: 7FAB2A15F7A607A4
1 changed files with 25 additions and 9 deletions

View File

@ -1,4 +1,12 @@
{ lib, stdenv, fetchurl, libxml2, libxslt, itstool, gnome3, pkg-config }:
{ lib
, stdenv
, fetchurl
, libxml2
, libxslt
, itstool
, gnome3
, pkg-config
}:
stdenv.mkDerivation rec {
pname = "yelp-tools";
@ -9,22 +17,30 @@ stdenv.mkDerivation rec {
sha256 = "1c045c794sm83rrjan67jmsk20qacrw1m814p4nw85w5xsry8z30";
};
nativeBuildInputs = [
pkg-config
];
buildInputs = [
libxml2
libxslt
itstool
gnome3.yelp-xsl
];
doCheck = true;
passthru = {
updateScript = gnome3.updateScript {
packageName = pname;
};
};
nativeBuildInputs = [ pkg-config ];
buildInputs = [ libxml2 libxslt itstool gnome3.yelp-xsl ];
doCheck = true;
meta = with lib; {
homepage = "https://wiki.gnome.org/Apps/Yelp/Tools";
description = "Small programs that help you create, edit, manage, and publish your Mallard or DocBook documentation";
maintainers = with maintainers; [ domenkozar ];
license = licenses.gpl2;
platforms = platforms.linux;
maintainers = teams.gnome.members ++ (with maintainers; [ domenkozar ]);
license = licenses.gpl2Plus;
platforms = platforms.unix;
};
}