diff options
author | Mingi Sung | 2024-04-02 14:33:48 +0900 |
---|---|---|
committer | Mingi Sung | 2024-04-02 14:33:48 +0900 |
commit | 820ff0a215c25d1d2a84ba5c9a98c90e5319a9a1 (patch) | |
tree | ed5c092de7b0fee357c33db5bb0c6313a1a7a446 | |
parent | 256acb680560b7b7ce9876f78e0e89ac5e960a2b (diff) | |
download | aur-820ff0a215c25d1d2a84ba5c9a98c90e5319a9a1.tar.gz |
Add `provides` to docs too
Signed-off-by: Mingi Sung <dawdleming@gmail.com>
-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" |