diff options
| author | Allan McRae <allan@archlinux.org> | 2008-08-13 03:00:18 +1000 |
|---|---|---|
| committer | Dan McGee <dan@archlinux.org> | 2008-08-23 09:20:51 -0500 |
| commit | 7865fb9af487f7ca043cab6e90c3aee0863e285b (patch) | |
| tree | b30af64b43df9ce68c92954b9b0f3a5efb0bd8d3 /etc | |
| parent | 3ff7701e89f3193f8ea57a5910ae508a2aed65a3 (diff) | |
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.in | 2 |
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}) |