diff options
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/desktops/gnome-3/default.nix | 2 | ||||
-rw-r--r-- | pkgs/desktops/gnome-3/platform/gnome-user-docs.nix | 12 |
2 files changed, 14 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome-3/default.nix b/pkgs/desktops/gnome-3/default.nix index 63832b1575fd..2972779bc2af 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 000000000000..f434b5c155c5 --- /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 ]; +} |