diff --git a/pkgs/desktops/gnome-3/3.16/default.nix b/pkgs/desktops/gnome-3/3.16/default.nix index 9d8c12b70bd..7ac522efe06 100644 --- a/pkgs/desktops/gnome-3/3.16/default.nix +++ b/pkgs/desktops/gnome-3/3.16/default.nix @@ -301,6 +301,8 @@ let gdl = callPackage ./devtools/gdl { }; + gnome-devel-docs = callPackage ./devtools/gnome-devel-docs { }; + #### Games aisleriot = callPackage ./games/aisleriot { }; diff --git a/pkgs/desktops/gnome-3/3.16/devtools/gnome-devel-docs/default.nix b/pkgs/desktops/gnome-3/3.16/devtools/gnome-devel-docs/default.nix new file mode 100644 index 00000000000..0daa0405b69 --- /dev/null +++ b/pkgs/desktops/gnome-3/3.16/devtools/gnome-devel-docs/default.nix @@ -0,0 +1,20 @@ +{ stdenv, fetchurl, gnome3, intltool, itstool, libxml2 }: + +stdenv.mkDerivation rec { + name = "gnome-devel-docs-${gnome3.version}.2"; + + src = fetchurl { + url = "mirror://gnome/sources/gnome-devel-docs/${gnome3.version}/${name}.tar.xz"; + sha256 = "1jkh40ya5mqss57p27b1hv77x5qis4zc377pyvzqa5wkzrvd0nls"; + }; + + buildInputs = [ intltool itstool libxml2 ]; + + meta = with stdenv.lib; { + homepage = https://github.com/GNOME/gnome-devel-docs; + description = "Developer documentation for GNOME"; + maintainers = gnome3.maintainers; + license = licenses.fdl12; + platforms = platforms.linux; + }; +}