diff --git a/pkgs/desktops/gnome-3/default.nix b/pkgs/desktops/gnome-3/default.nix index 63832b1575f..2972779bc2a 100644 --- a/pkgs/desktops/gnome-3/default.nix +++ b/pkgs/desktops/gnome-3/default.nix @@ -17,4 +17,6 @@ gsettings_desktop_schemas = callPackage ./platform/gsettings-desktop-schemas.nix {}; GConf = callPackage ./platform/GConf.nix { }; + + gnome_user_docs = callPackage ./platform/gnome-user-docs.nix { }; } diff --git a/pkgs/desktops/gnome-3/platform/gnome-user-docs.nix b/pkgs/desktops/gnome-3/platform/gnome-user-docs.nix new file mode 100644 index 00000000000..f434b5c155c --- /dev/null +++ b/pkgs/desktops/gnome-3/platform/gnome-user-docs.nix @@ -0,0 +1,12 @@ +{ stdenv, fetchurl, xz, itstool, libxml2, gettext }: + +stdenv.mkDerivation { + name = "gnome-user-docs-3.2.2"; + + src = fetchurl { + url = mirror://gnome/sources/gnome-user-docs/3.2/gnome-user-docs-3.2.2.tar.xz; + sha256 = "1ka0nw2kc85p10y8x31v0wv06a88k7qrgafp4ys04y9fzz0rkcjj"; + }; + + buildNativeInputs = [ xz itstool libxml2 gettext ]; +}