diff options
| author | Jonian Guveli | 2017-11-01 00:10:05 +0200 |
|---|---|---|
| committer | Jonian Guveli | 2017-11-01 00:10:05 +0200 |
| commit | 368fde4fb90bf35081aa5a1175aad58b49ba53d4 (patch) | |
| tree | 8d87b0d052b08f0d65de7120b979cc5785a52e26 | |
| parent | e325148f7d2b6e405cbb951d6cf6c848d7ce3857 (diff) | |
| download | aur-368fde4fb90bf35081aa5a1175aad58b49ba53d4.tar.gz | |
version update
| -rw-r--r-- | .SRCINFO | 8 | ||||
| -rw-r--r-- | PKGBUILD | 13 |
2 files changed, 10 insertions, 11 deletions
@@ -1,8 +1,8 @@ # Generated by mksrcinfo v8 -# Sun Sep 10 16:54:42 UTC 2017 +# Tue Oct 31 22:09:48 UTC 2017 pkgbase = devdocs-desktop pkgdesc = DevDocs desktop application in GTK3. Multiple API documentations in a fast, organized, and searchable interface. - pkgver = 0.7.0 + pkgver = 0.8.0 pkgrel = 1 url = https://github.com/hardpixel/devdocs-desktop arch = any @@ -11,8 +11,8 @@ pkgbase = devdocs-desktop depends = python-gobject depends = webkit2gtk provides = devdocs-desktop - source = devdocs-desktop-0.7.0.tar.gz::https://github.com/hardpixel/devdocs-desktop/archive/v0.7.0.tar.gz - md5sums = 7d2b2fdebab1956c8f94b3bf699ee904 + source = devdocs-desktop-0.8.0.tar.gz::https://github.com/hardpixel/devdocs-desktop/archive/v0.8.0.tar.gz + md5sums = 9f70159a49929dd4ecd6069566655460 pkgname = devdocs-desktop @@ -1,6 +1,6 @@ # Maintainer: Jonian Guveli <https://github.com/jonian/> pkgname=devdocs-desktop -pkgver=0.7.0 +pkgver=0.8.0 pkgrel=1 pkgdesc="DevDocs desktop application in GTK3. Multiple API documentations in a fast, organized, and searchable interface." arch=("any") @@ -9,20 +9,19 @@ license=("GPL") depends=("python" "python-gobject" "webkit2gtk") provides=("devdocs-desktop") source=("$pkgname-$pkgver.tar.gz::$url/archive/v$pkgver.tar.gz") -md5sums=("7d2b2fdebab1956c8f94b3bf699ee904") +md5sums=("9f70159a49929dd4ecd6069566655460") 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" - mkdir -p "$pkgdir/usr/share/icons/hicolor/128x128/apps" - mkdir -p "$pkgdir/usr/share/icons/gnome/128x128/apps" 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" - - cp -a "$srcdir/$pkgname-$pkgver/icons/." "$pkgdir/usr/share/icons/hicolor/128x128/apps" - cp -a "$srcdir/$pkgname-$pkgver/icons/." "$pkgdir/usr/share/icons/gnome/128x128/apps" } |