# $Id: PKGBUILD 137051 2015-07-17 09:55:10Z spupykin $
# 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=5.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::http://gcc.gnu.org/onlinedocs/gcc-${pkgver}/gcc-html.tar.gz")
md5sums=('1a362c187231db97dc4be42bc1e1f1ec')

package() {
  cd "$srcdir/gcc"
  install -d "$pkgdir/usr/share/doc/gcc"
  cp -rf * "$pkgdir/usr/share/doc/gcc"
}
