diff options
| author | Allan McRae <allan@archlinux.org> | 2008-11-23 21:17:15 +1000 |
|---|---|---|
| committer | Dan McGee <dan@archlinux.org> | 2009-01-03 00:06:51 -0600 |
| commit | bb9b19a6c45e39bd617faa5eb47c074f9c12f94e (patch) | |
| tree | 7859e4b8df398b178e8632508badfeea515aeb65 /etc | |
| parent | b55f478042053dfb749da7ce0a48fc0e49112093 (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.in | 4 |
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) |