python2-etsdevtools-doc-git/PKGBUILD

   1 # Maintainer: Andrzej Giniewicz <gginiu@gmail.com>
   2 pkgname=python2-etsdevtools-doc-git
   3 pkgver=20110623
   4 pkgrel=1
   5 pkgdesc="Documentation for Etsdevtools"
   6 arch=('any')
   7 url="https://github.com/enthought/etsdevtools"
   8 license=('BSD')
   9 makedepends=('git' 'python2-distribute')
  10 provides=('python2-etsdevtools-doc')
  11 conflicts=('python2-etsdevtools-doc')
  12 options=(!emptydirs)
  13
  14 _gitroot="https://github.com/enthought/etsdevtools.git"
  15 _gitname="etsdevtools"
  16
  17 build() {
  18   cd "$srcdir"
  19   msg "Connecting to GIT server...."
  20
  21   if [ -d $_gitname ] ; then
  22     cd $_gitname && git pull origin
  23     msg "The local files are updated."
  24   else
  25     git clone $_gitroot $_gitname
  26   fi
  27
  28   msg "GIT checkout done or server timeout"
  29   msg "Starting make..."
  30
  31   rm -rf "$srcdir/$_gitname-build"
  32   git clone "$srcdir/$_gitname" "$srcdir/$_gitname-build"
  33   cd "$srcdir/$_gitname-build"
  34
  35   cd docs
  36
  37   make html
  38
  39   install -d "${pkgdir}"/usr/share/doc/enthought/etsdevtools
  40   cp -r build/html/* "${pkgdir}"/usr/share/doc/enthought/etsdevtools
  41 }
  42