diff options
author | Adrian Perez de Castro | 2016-06-07 14:41:25 +0300 |
---|---|---|
committer | Adrian Perez de Castro | 2016-06-07 14:41:25 +0300 |
commit | 76dad15e12d76e1dfe67b485d4039acf4822f200 (patch) | |
tree | 6a4fa043069b96578ed8ce9f3949c0668b7aea60 | |
parent | c6723789f3ed2b95029fcaf0ed791c8a63476e0d (diff) | |
download | aur-76dad15e12d76e1dfe67b485d4039acf4822f200.tar.gz |
Install manual pages and documentation in their proper locations
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 14 |
2 files changed, 14 insertions, 2 deletions
@@ -1,7 +1,7 @@ pkgbase = depot-tools-git pkgdesc = Build tools for working with Chromium development, include gclient pkgver = r3323.3bff56b - pkgrel = 2 + pkgrel = 3 url = http://dev.chromium.org/developers/how-tos/install-depot-tools install = depot_tools.install arch = any @@ -9,7 +9,7 @@ pkgname=depot-tools-git pkgver=r3323.3bff56b -pkgrel=2 +pkgrel=3 pkgdesc='Build tools for working with Chromium development, include gclient' arch=('any') url='http://dev.chromium.org/developers/how-tos/install-depot-tools' @@ -88,5 +88,17 @@ package() # Install License install -Dm644 "${pkgdir}/opt/depot_tools/LICENSE" "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE" + # Move manual pages to /usr/share/man + install -dm755 "${pkgdir}/usr/share/man" + mv "${pkgdir}/opt/depot_tools/man"/man[0-8] "${pkgdir}/usr/share/man/" + + # Ditto for HTML pages and README files, to /usr/share/doc + install -dm755 "${pkgdir}/usr/share/doc/${pkgname}" + mv "${pkgdir}/opt/depot_tools/man/html" "${pkgdir}/usr/share/doc/${pkgname}" + mv "${pkgdir}/opt/depot_tools"/README* "${pkgdir}/usr/share/doc/${pkgname}" + + # Remove stray files + rm -r "${pkgdir}/opt/depot_tools/man" + rm -rf "${pkgdir}/opt/depot_tools/.git" } |