diff options
| author | Xavier Chantry <shiningxc@gmail.com> | 2008-08-24 01:51:56 +0200 |
|---|---|---|
| committer | Dan McGee <dan@archlinux.org> | 2008-08-25 18:05:25 -0500 |
| commit | a06d0de104d2f03c19b917ea47394d8d6be89a9a (patch) | |
| tree | b3b63543c62f68f7eeafbe382f67a8b9e1ff88e4 /.gitignore | |
| parent | a4100b384737d6b422a31eb0f6614b4f5f6070cb (diff) | |
makepkg.conf : some info / docs adjustements
After commit 7865fb9af487, info pages are now treated like man pages.
This means even with !docs, info pages will still be included. And including
info pages was the main reason the docs option was enabled by default
recently. So this is now longer needed, and we can revert back to !docs by
default for disabling gigantic html pages and other docs.
Signed-off-by: Xavier Chantry <shiningxc@gmail.com>
Signed-off-by: Dan McGee <dan@archlinux.org>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions