Git-Url: 
http://git.frugalware.org/gitweb/gitweb.cgi?p=pacman-g2.git;a=commitdiff;h=39547607a6a805aaa8428cba185ffc448bef590b

commit 39547607a6a805aaa8428cba185ffc448bef590b
Author: Miklos Vajna <[EMAIL PROTECTED]>
Date:   Mon Jan 21 04:24:12 2008 +0100

makepkg: don't create our documentation dir at all if NODOCS is set

diff --git a/scripts/makepkg b/scripts/makepkg
index 026ebe5..41e4d6a 100755
--- a/scripts/makepkg
+++ b/scripts/makepkg
@@ -1502,8 +1502,10 @@ for d in $startdir/{pkg,pkg.*}
do
[ ! -d $d ] && continue
if [ -d $d/usr/doc ]; then
-               mkdir -p $d/usr/share/doc/$pkgname-$pkgver
-               cp -a $d/usr/doc/* $d/usr/share/doc/$pkgname-$pkgver
+               if [ ! "`check_option NODOCS`" -a "$NODOCS" = "0" ]; then
+                       mkdir -p $d/usr/share/doc/$pkgname-$pkgver
+                       cp -a $d/usr/doc/* $d/usr/share/doc/$pkgname-$pkgver
+               fi
rm -rf $d/usr/doc
fi
_______________________________________________
Frugalware-git mailing list
Frugalware-git@frugalware.org
http://frugalware.org/mailman/listinfo/frugalware-git

Reply via email to