summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorThomas Petazzoni <thomas.petazzoni@free-electrons.com>2010-04-10 22:42:45 +0200
committerThomas Petazzoni <thomas.petazzoni@free-electrons.com>2010-04-11 06:01:08 +0200
commit87b0637bd086ecdaf01f6f108bd68eb7662397ca (patch)
treed1e420b4e5ffddfe48bcbf1476c24f1ba2f271ff /.gitignore
parentef785f61ad7290508b2640d00403b9a957fcdab1 (diff)
Remove all documentation when BR2_HAVE_DOCUMENTATION is not set
Until now, we had BR2_HAVE_MANPAGES, BR2_HAVE_INFOPAGES and BR2_HAVE_DOCUMENTATION, but there's no need to have such a fine-grained control over what documentation gets kept or not. Therefore, just remove all the documentation (man pages, info pages and documentation in $(TARGET_DIR)/usr/doc and $(TARGET_DIR)/usr/share/doc) when BR2_HAVE_DOCUMENTATION is not set. Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions