Merge pull request #63825 from JohnAZoidberg/gnome-user-docs

gnome3.gnome-user-docs: Add meta attributes
This commit is contained in:
worldofpeace 2019-07-04 05:49:47 -04:00 committed by GitHub
commit 2f8ec3bbba
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -17,4 +17,11 @@ stdenv.mkDerivation rec {
attrPath = "gnome3.gnome-user-docs";
};
};
meta = {
homepage = "https://gitlab.gnome.org/GNOME/gnome-user-docs";
description = "GNOME User Documentation";
license = stdenv.lib.licenses.cc-by-30;
maintainers = gnome3.maintainers;
};
}