summaryrefslogtreecommitdiff
path: root/etc
diff options
context:
space:
mode:
authorAllan McRae <allan@archlinux.org>2008-11-23 21:17:15 +1000
committerDan McGee <dan@archlinux.org>2009-01-03 00:06:51 -0600
commitbb9b19a6c45e39bd617faa5eb47c074f9c12f94e (patch)
tree7859e4b8df398b178e8632508badfeea515aeb65 /etc
parentb55f478042053dfb749da7ce0a48fc0e49112093 (diff)
makepkg: provide MAN_DIRS configuration variable
Provides a MAN_DIRS variable in makepkg.conf which can be used to specify folders to look for manual (man and info) pages to be compressed. Useful for packages that install to /opt. Also clarifies that "zipman" means "zip manuals" and covers both man and info pages. Original work by: Tiago Pierezan Camargo <tcamargo at gmail.com> 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.in4
1 files changed, 3 insertions, 1 deletions
diff --git a/etc/makepkg.conf.in b/etc/makepkg.conf.in
index 7eb647b2..82722bef 100644
--- a/etc/makepkg.conf.in
+++ b/etc/makepkg.conf.in
@@ -65,12 +65,14 @@ BUILDENV=(fakeroot !distcc color !ccache !xdelta)
#-- docs: Save doc and info directories
#-- libtool: Leave libtool (.la) files in packages
#-- emptydirs: Leave empty directories in packages
-#-- zipman: Compress manpages with gzip
+#-- zipman: Compress manual (man and info) pages with gzip
#
OPTIONS=(strip !docs libtool emptydirs zipman)
#-- File integrity checks to use. Valid: md5, sha1, sha256, sha384, sha512
INTEGRITY_CHECK=(md5)
+#-- Manual (man and info) directories to compress (if option set correctly above)
+MAN_DIRS=({usr{,/local}{,/share},opt/*}/{man,info})
#-- 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)