From bb9b19a6c45e39bd617faa5eb47c074f9c12f94e Mon Sep 17 00:00:00 2001 From: Allan McRae Date: Sun, 23 Nov 2008 21:17:15 +1000 Subject: 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 Signed-off-by: Allan McRae Signed-off-by: Dan McGee --- etc/makepkg.conf.in | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'etc') 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) -- cgit v1.2.3