From a06d0de104d2f03c19b917ea47394d8d6be89a9a Mon Sep 17 00:00:00 2001 From: Xavier Chantry Date: Sun, 24 Aug 2008 01:51:56 +0200 Subject: makepkg.conf : some info / docs adjustements After commit 7865fb9af487, info pages are now treated like man pages. This means even with !docs, info pages will still be included. And including info pages was the main reason the docs option was enabled by default recently. So this is now longer needed, and we can revert back to !docs by default for disabling gigantic html pages and other docs. Signed-off-by: Xavier Chantry Signed-off-by: Dan McGee --- etc/makepkg.conf.in | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'etc') diff --git a/etc/makepkg.conf.in b/etc/makepkg.conf.in index c481e058..7eb647b2 100644 --- a/etc/makepkg.conf.in +++ b/etc/makepkg.conf.in @@ -58,7 +58,7 @@ BUILDENV=(fakeroot !distcc color !ccache !xdelta) # These are default values for the options=() settings ######################################################################### # -# Default: OPTIONS=(strip docs libtool emptydirs zipman) +# Default: OPTIONS=(strip !docs libtool emptydirs zipman) # A negated option will do the opposite of the comments below. # #-- strip: Strip symbols from binaries/libraries @@ -67,11 +67,11 @@ BUILDENV=(fakeroot !distcc color !ccache !xdelta) #-- emptydirs: Leave empty directories in packages #-- zipman: Compress manpages with gzip # -OPTIONS=(strip docs libtool emptydirs zipman) +OPTIONS=(strip !docs libtool emptydirs zipman) #-- File integrity checks to use. Valid: md5, sha1, sha256, sha384, sha512 INTEGRITY_CHECK=(md5) -#-- Info and doc directories to remove (if option set correctly above) +#-- Doc directories to remove (if option set correctly above) DOC_DIRS=(usr/{,share/}{doc,gtk-doc} opt/*/{doc,gtk-doc}) #-- Directories to be searched for the strip option (if option set correctly above) STRIP_DIRS=(bin lib sbin usr/{bin,lib,sbin,local/{bin,lib,sbin}} opt/*/{bin,lib,sbin}) -- cgit v1.2.3-70-g09d2