diff options
author | Allan McRae <allan@archlinux.org> | 2008-08-12 19:00:18 +0200 |
---|---|---|
committer | Dan McGee <dan@archlinux.org> | 2008-08-23 16:20:51 +0200 |
commit | 7865fb9af487f7ca043cab6e90c3aee0863e285b (patch) | |
tree | b30af64b43df9ce68c92954b9b0f3a5efb0bd8d3 /doc/makepkg.conf.5.txt | |
parent | 3ff7701e89f3193f8ea57a5910ae508a2aed65a3 (diff) | |
download | pacman-7865fb9af487f7ca043cab6e90c3aee0863e285b.tar.gz pacman-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 'doc/makepkg.conf.5.txt')
-rw-r--r-- | doc/makepkg.conf.5.txt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/makepkg.conf.5.txt b/doc/makepkg.conf.5.txt index 8b39c467..57b229f3 100644 --- a/doc/makepkg.conf.5.txt +++ b/doc/makepkg.conf.5.txt @@ -110,8 +110,8 @@ Options option. *docs*;; - Save doc and info directories. If you wish to delete doc and info - directories, specify `!docs' in the array. + Save doc directories. If you wish to delete doc directories, specify + `!docs' in the array. *libtool*;; Leave libtool (.la) files in packages. Specify `!libtool' to remove @@ -121,7 +121,7 @@ Options Leave empty directories in packages. *zipman*;; - Compress man pages with gzip. + Compress man and info pages with gzip. **INTEGRITY_CHECK=(**check1 ...**)**:: File integrity checks to use. Multiple checks may be specified; this |