diff options
Diffstat (limited to 'pkgs/data/documentation/gnome-user-docs/default.nix')
-rw-r--r-- | pkgs/data/documentation/gnome-user-docs/default.nix | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/pkgs/data/documentation/gnome-user-docs/default.nix b/pkgs/data/documentation/gnome-user-docs/default.nix new file mode 100644 index 0000000000000..f92882b9a832e --- /dev/null +++ b/pkgs/data/documentation/gnome-user-docs/default.nix @@ -0,0 +1,12 @@ +{ stdenv, fetchurl, 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 = [ itstool libxml2 gettext ]; +} |