diff options
-rw-r--r-- | .SRCINFO | 16 | ||||
-rw-r--r-- | PKGBUILD | 28 |
2 files changed, 44 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..2d074845d6c0 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,16 @@ +# Generated by mksrcinfo v8 +# Mon Dec 26 21:38:45 UTC 2016 +pkgbase = devdocs-desktop + pkgdesc = DevDocs desktop application in GTK3. Multiple API documentations in a fast, organized, and searchable interface. + pkgver = 0.1.0 + pkgrel = 1 + url = https://github.com/hardpixel/devdocs-desktop + arch = any + license = GPL + depends = python gtk3 webkitgtk + provides = devdocs-desktop + source = https://github.com/hardpixel/devdocs-desktop/archive/v0.1.0.tar.gz + md5sums = 2c728d855b6a9681f3dd77612f4197de + +pkgname = devdocs-desktop + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..024105815ce0 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,28 @@ +# Maintainer: Jonian Guveli <https://github.com/jonian/> +pkgname=devdocs-desktop +pkgver=0.1.0 +pkgrel=1 +pkgdesc="DevDocs desktop application in GTK3. Multiple API documentations in a fast, organized, and searchable interface." +arch=("any") +url="https://github.com/hardpixel/devdocs-desktop" +license=("GPL") +depends=("python gtk3 webkitgtk") +provides=("devdocs-desktop") +source=("https://github.com/hardpixel/devdocs-desktop/archive/v"$pkgver".tar.gz") +md5sums=("2c728d855b6a9681f3dd77612f4197de") + +package() { + mkdir -p "$pkgdir/opt" + mkdir -p "$pkgdir/usr/bin" + 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" + + 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" +} |