diff options
| author | Luca Bruno <lethalman88@gmail.com> | 2015-09-25 10:36:01 +0200 |
|---|---|---|
| committer | Luca Bruno <lethalman88@gmail.com> | 2015-09-25 10:48:41 +0200 |
| commit | 26aea8b1aa798fa4cae5cf45953f8e3f3b7dbea9 (patch) | |
| tree | 6d0f51f30841d919d2ff07ff305ae100a857b02a /pkgs/desktops/gnome-3/3.18/core/yelp-tools | |
| parent | 41fc49ed7e94d9a0aef044a6ea34c142e376d3f7 (diff) | |
| download | nixlib-26aea8b1aa798fa4cae5cf45953f8e3f3b7dbea9.tar nixlib-26aea8b1aa798fa4cae5cf45953f8e3f3b7dbea9.tar.gz nixlib-26aea8b1aa798fa4cae5cf45953f8e3f3b7dbea9.tar.bz2 nixlib-26aea8b1aa798fa4cae5cf45953f8e3f3b7dbea9.tar.lz nixlib-26aea8b1aa798fa4cae5cf45953f8e3f3b7dbea9.tar.xz nixlib-26aea8b1aa798fa4cae5cf45953f8e3f3b7dbea9.tar.zst nixlib-26aea8b1aa798fa4cae5cf45953f8e3f3b7dbea9.zip | |
gnome3: init 3.18
Diffstat (limited to 'pkgs/desktops/gnome-3/3.18/core/yelp-tools')
| -rw-r--r-- | pkgs/desktops/gnome-3/3.18/core/yelp-tools/default.nix | 17 | ||||
| -rw-r--r-- | pkgs/desktops/gnome-3/3.18/core/yelp-tools/src.nix | 10 |
2 files changed, 27 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome-3/3.18/core/yelp-tools/default.nix b/pkgs/desktops/gnome-3/3.18/core/yelp-tools/default.nix new file mode 100644 index 000000000000..de708d48c5ec --- /dev/null +++ b/pkgs/desktops/gnome-3/3.18/core/yelp-tools/default.nix @@ -0,0 +1,17 @@ +{ stdenv, fetchurl, libxml2, libxslt, itstool, gnome3, pkgconfig }: + +stdenv.mkDerivation rec { + inherit (import ./src.nix fetchurl) name src; + + buildInputs = [ libxml2 libxslt itstool gnome3.yelp_xsl pkgconfig ]; + + doCheck = true; + + meta = with stdenv.lib; { + homepage = https://wiki.gnome.org/Apps/Yelp/Tools; + description = "Small programs that help you create, edit, manage, and publish your Mallard or DocBook documentation"; + maintainers = with maintainers; [ iElectric ]; + license = licenses.gpl2; + platforms = platforms.linux; + }; +} diff --git a/pkgs/desktops/gnome-3/3.18/core/yelp-tools/src.nix b/pkgs/desktops/gnome-3/3.18/core/yelp-tools/src.nix new file mode 100644 index 000000000000..f03c6d1bc311 --- /dev/null +++ b/pkgs/desktops/gnome-3/3.18/core/yelp-tools/src.nix @@ -0,0 +1,10 @@ +# Autogenerated by maintainers/scripts/gnome.sh update + +fetchurl: { + name = "yelp-tools-3.18.0"; + + src = fetchurl { + url = mirror://gnome/sources/yelp-tools/3.18/yelp-tools-3.18.0.tar.xz; + sha256 = "c6c1d65f802397267cdc47aafd5398c4b60766e0a7ad2190426af6c0d0716932"; + }; +} |