diff options
author | Bartlomiej Palmowski <maks1k@wp.pl> | 2008-06-25 15:05:53 +0200 |
---|---|---|
committer | Bartlomiej Palmowski <maks1k@wp.pl> | 2008-06-25 15:05:53 +0200 |
commit | 60a807ecf478b5114532407a56552d6d12bc86b0 (patch) | |
tree | e4ccc013f98515a5ce926a1a9d075cb15f789057 /awesome | |
parent | 993de627ad6b0928290466a5ba33784ddfcd3bbd (diff) | |
download | contrib-60a807ecf478b5114532407a56552d6d12bc86b0.tar.gz contrib-60a807ecf478b5114532407a56552d6d12bc86b0.tar.xz |
awesome: Pkgfile cleanup, thanks to jue
Diffstat (limited to 'awesome')
-rw-r--r-- | awesome/Pkgfile | 16 |
1 files changed, 5 insertions, 11 deletions
diff --git a/awesome/Pkgfile b/awesome/Pkgfile index 5742936f3..d6c1154b7 100644 --- a/awesome/Pkgfile +++ b/awesome/Pkgfile @@ -10,20 +10,14 @@ source=(http://awesome.naquadah.org/download/$name-$version.tar.bz2 http://maxiq.ovh.org/CRUX/$name-mans-$version.tar.gz) build() { - prt-get listinst gtk >/dev/null 2>&1 && GTKFLAG="--with-gtk" cd $name-$version ./configure \ --prefix=/usr \ --mandir=/usr/man \ - --docdir=/usr/share/awesome \ - $GTKFLAG - make AWESOME_CFLAGS="$CFLAGS" - make DESTDIR=$PKG install + --docdir=/usr/share/awesome + make AWESOME_CFLAGS="$CFLAGS" + make DESTDIR=$PKG install rm -f $PKG/usr/share/awesome/{README,STYLE,UPGRADE} - # ugly 'if' :{ - if grep -A1 "checking whether xmlto can create a man page" \ - config.log | grep no >/dev/null 2>&1 ; then - cp $SRC/awesome{,-{client,menu,message}}.1 $PKG/usr/man/man1 - cp $SRC/awesomerc.5 $PKG/usr/man/man5 - fi + cp $SRC/awesome{,-{client,menu,message}}.1 $PKG/usr/man/man1 + cp $SRC/awesomerc.5 $PKG/usr/man/man5 } |