summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorXavier Chantry <shiningxc@gmail.com>2008-08-24 01:51:56 +0200
committerDan McGee <dan@archlinux.org>2008-08-25 18:05:25 -0500
commita06d0de104d2f03c19b917ea47394d8d6be89a9a (patch)
treeb3b63543c62f68f7eeafbe382f67a8b9e1ff88e4 /.gitignore
parenta4100b384737d6b422a31eb0f6614b4f5f6070cb (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