diff options
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 2 |
2 files changed, 4 insertions, 0 deletions
@@ -80,3 +80,5 @@ pkgname = gnome-shell-performance pkgname = gnome-shell-performance-docs pkgdesc = Next generation desktop shell | Attempts to improve performances with non-upstreamed merge-requests and frequent stable branch resync (API documentation) depends = + provides = gnome-shell-docs + conflicts = gnome-shell-docs @@ -217,6 +217,8 @@ package_gnome-shell-performance() { if ! [ -n "$_disable_docs" ]; then package_gnome-shell-performance-docs() { pkgdesc+=" (API documentation)" + provides=(gnome-shell-docs) + conflicts=(gnome-shell-docs) depends=() mv doc/* "$pkgdir" |