summaryrefslogtreecommitdiff
path: root/etc
diff options
context:
space:
mode:
authorAllan McRae <allan@archlinux.org>2008-08-13 03:00:18 +1000
committerDan McGee <dan@archlinux.org>2008-08-23 09:20:51 -0500
commit7865fb9af487f7ca043cab6e90c3aee0863e285b (patch)
treeb30af64b43df9ce68c92954b9b0f3a5efb0bd8d3 /etc
parent3ff7701e89f3193f8ea57a5910ae508a2aed65a3 (diff)
downloadpacman-7865fb9af487f7ca043cab6e90c3aee0863e285b.tar.xz
Treat info pages like man pages
As far a package building is concerned, info pages need to be treated in the same fashion as man pages in that they both can be compressed. This separates them from other forms of documentation and so it makes sense to make that distinction within makepkg. Signed-off-by: Allan McRae <allan@archlinux.org> Signed-off-by: Dan McGee <dan@archlinux.org>
Diffstat (limited to 'etc')
-rw-r--r--etc/makepkg.conf.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/makepkg.conf.in b/etc/makepkg.conf.in
index 0241a8ec..057f563c 100644
--- a/etc/makepkg.conf.in
+++ b/etc/makepkg.conf.in
@@ -72,7 +72,7 @@ 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_DIRS=(usr/{,share/}{info,doc,gtk-doc} opt/*/{info,doc,gtk-doc})
+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})