2016-09-18 20:35:23 +01:00
|
|
|
{ stdenv, fetchurl, gnome3, intltool, itstool, libxml2 }:
|
|
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2018-02-25 20:07:20 +00:00
|
|
|
name = "gnome-getting-started-docs-${version}";
|
2018-09-06 15:56:55 +01:00
|
|
|
version = "3.30.0";
|
2018-02-25 20:07:20 +00:00
|
|
|
|
|
|
|
|
src = fetchurl {
|
2018-10-05 01:12:11 +01:00
|
|
|
url = "mirror://gnome/sources/gnome-getting-started-docs/${stdenv.lib.versions.majorMinor version}/${name}.tar.xz";
|
2018-09-06 15:56:55 +01:00
|
|
|
sha256 = "10vihv6n8703rapf915waz1vzr7axk43bjlhmm3hb7kwm32rc61k";
|
2018-02-25 20:07:20 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
passthru = {
|
|
|
|
|
updateScript = gnome3.updateScript { packageName = "gnome-getting-started-docs"; attrPath = "gnome3.gnome-getting-started-docs"; };
|
|
|
|
|
};
|
2016-09-18 20:35:23 +01:00
|
|
|
|
|
|
|
|
buildInputs = [ intltool itstool libxml2 ];
|
|
|
|
|
|
|
|
|
|
meta = with stdenv.lib; {
|
|
|
|
|
homepage = https://live.gnome.org/DocumentationProject;
|
|
|
|
|
description = "Help a new user get started in GNOME";
|
|
|
|
|
maintainers = gnome3.maintainers;
|
|
|
|
|
license = licenses.cc-by-sa-30;
|
|
|
|
|
platforms = platforms.linux;
|
|
|
|
|
};
|
|
|
|
|
}
|
