diff options
| author | Bartlomiej Palmowski <maks1k@wp.pl> | 2008-06-25 14:29:05 +0200 |
|---|---|---|
| committer | Bartlomiej Palmowski <maks1k@wp.pl> | 2008-06-25 14:29:05 +0200 |
| commit | 993de627ad6b0928290466a5ba33784ddfcd3bbd (patch) | |
| tree | 5d1f66c7e1c3965757079c75dff7e5fb784ce8b2 /awesome | |
| parent | dbdcbf2c5ac174bac18dd1cd63c3b94dfdf1bb4d (diff) | |
| download | contrib-993de627ad6b0928290466a5ba33784ddfcd3bbd.tar.gz contrib-993de627ad6b0928290466a5ba33784ddfcd3bbd.tar.xz | |
awesome: fix stupid mistake
Diffstat (limited to 'awesome')
| -rw-r--r-- | awesome/Pkgfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/awesome/Pkgfile b/awesome/Pkgfile index 16522b6f9..5742936f3 100644 --- a/awesome/Pkgfile +++ b/awesome/Pkgfile @@ -21,7 +21,7 @@ build() { 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" \ + 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 |