blob: e16bfd1f628fda5ca8189e62852a5034bbebfdf5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
# Maintainer: Jonian Guveli <https://github.com/jonian/>
pkgname=devdocs-desktop
pkgver=1.1.0
pkgrel=1
pkgdesc="DevDocs GTK3 application for multiple API documentations in a fast searchable interface"
arch=("any")
url="https://github.com/hardpixel/devdocs-desktop"
license=("GPL")
depends=("python" "python-gobject" "python-dbus" "webkit2gtk")
provides=("devdocs-desktop")
source=("$pkgname-$pkgver::$url/archive/v$pkgver.tar.gz")
md5sums=("cf2b9c86d59a07cb4137dd478a313ec4")
package() {
mkdir -p "$pkgdir/opt"
mkdir -p "$pkgdir/usr/bin"
mkdir -p "$pkgdir/usr/share/icons/hicolor"
mkdir -p "$pkgdir/usr/share/icons/gnome"
mkdir -p "$pkgdir/usr/share/applications"
cp -a "$srcdir/$pkgname-$pkgver" "$pkgdir/opt/$pkgname"
cp -a "$srcdir/$pkgname-$pkgver/icons/hicolor/." "$pkgdir/usr/share/icons/hicolor"
cp -a "$srcdir/$pkgname-$pkgver/icons/hicolor/." "$pkgdir/usr/share/icons/gnome"
ln -s "/opt/$pkgname/devdocs_desktop.py" "$pkgdir/usr/bin/devdocs-desktop"
mv "$pkgdir/opt/$pkgname/devdocs-desktop.desktop" "$pkgdir/usr/share/applications/devdocs-desktop.desktop"
}
|