diff options
| author | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2010-04-10 22:42:45 +0200 |
|---|---|---|
| committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2010-04-11 06:01:08 +0200 |
| commit | 87b0637bd086ecdaf01f6f108bd68eb7662397ca (patch) | |
| tree | d1e420b4e5ffddfe48bcbf1476c24f1ba2f271ff /.gitignore | |
| parent | ef785f61ad7290508b2640d00403b9a957fcdab1 (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