diff options
author | Bartłomiej Piotrowski | 2018-01-06 20:15:44 +0100 |
---|---|---|
committer | Bartłomiej Piotrowski | 2018-01-06 20:15:44 +0100 |
commit | 4d87ac57fb160ffb44cd9593105776cf71484bc6 (patch) | |
tree | 9297a4c917ba4df055274ec65f289c896421d334 | |
download | aur-4d87ac57fb160ffb44cd9593105776cf71484bc6.tar.gz |
Import from official repositories
-rw-r--r-- | .SRCINFO | 14 | ||||
-rw-r--r-- | PKGBUILD | 22 |
2 files changed, 36 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..b7f4818e3824 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,14 @@ +pkgbase = gcc-docs + pkgdesc = Set of HTML documentation for GCC + pkgver = 7.2.0 + pkgrel = 1 + url = http://gcc.gnu.org + arch = any + license = GPL + options = docs + options = !strip + source = gcc-docs-7.2.0.tar.gz::https://gcc.gnu.org/onlinedocs/gcc-7.2.0/gcc-html.tar.gz + sha256sums = 4ec2de3228a62dd7f3fbb1d75e03d630afbee8059ae2691dc2bf6967d547a08d + +pkgname = gcc-docs + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..70636cd7a39e --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,22 @@ +# $Id: PKGBUILD 274825 2017-12-19 00:52:45Z anatolik $ +# Maintainer: Sergej Pupykin <pupykin.s+arch@gmail.com> +# Maintainer: Hilton Medeiros <medeiros.hilton@gmail.com> +# Contributor: Andrea Scarpino <andrea@archlinux.org> + +pkgname=gcc-docs +pkgver=7.2.0 +pkgrel=1 +pkgdesc="Set of HTML documentation for GCC" +arch=('any') +url="http://gcc.gnu.org" +license=('GPL') +depends=() +options=('docs' '!strip') +source=("$pkgname-$pkgver.tar.gz::https://gcc.gnu.org/onlinedocs/gcc-${pkgver}/gcc-html.tar.gz") +sha256sums=('4ec2de3228a62dd7f3fbb1d75e03d630afbee8059ae2691dc2bf6967d547a08d') + +package() { + cd "$srcdir/gcc" + install -d "$pkgdir/usr/share/doc/gcc" + cp -rf * "$pkgdir/usr/share/doc/gcc" +} |