2018-07-20 17:44:44 -07:00
|
|
|
{ stdenv, fetchurl, pkgconfig, gnome3, itstool, libxml2, intltool }:
|
2016-09-18 12:35:23 -07:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2019-08-15 05:41:18 -07:00
|
|
|
pname = "gnome-user-docs";
|
2019-09-02 09:45:28 -07:00
|
|
|
version = "3.34.0";
|
2018-02-25 12:07:20 -08:00
|
|
|
|
|
|
|
src = fetchurl {
|
2019-08-15 05:41:18 -07:00
|
|
|
url = "mirror://gnome/sources/gnome-user-docs/${stdenv.lib.versions.majorMinor version}/${pname}-${version}.tar.xz";
|
2019-09-02 09:45:28 -07:00
|
|
|
sha256 = "1v94mz8zwzx67db2avbi9p2klw36cz45qr6fbskpvygz2pzhg6cg";
|
2018-02-25 12:07:20 -08:00
|
|
|
};
|
|
|
|
|
|
|
|
passthru = {
|
|
|
|
updateScript = gnome3.updateScript { packageName = "gnome-user-docs"; attrPath = "gnome3.gnome-user-docs"; };
|
|
|
|
};
|
2016-09-18 12:35:23 -07:00
|
|
|
|
2017-09-05 14:26:13 -07:00
|
|
|
nativeBuildInputs = [ pkgconfig ];
|
|
|
|
buildInputs = [ gnome3.yelp itstool libxml2 intltool ];
|
2016-09-18 12:35:23 -07:00
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
2018-09-30 16:56:38 -07:00
|
|
|
homepage = https://help.gnome.org/users/gnome-help/;
|
2016-09-18 12:35:23 -07:00
|
|
|
description = "User and system administration help for the GNOME desktop";
|
|
|
|
maintainers = gnome3.maintainers;
|
|
|
|
license = licenses.cc-by-30;
|
|
|
|
platforms = platforms.linux;
|
|
|
|
};
|
|
|
|
}
|