diff options
author | Peter Korsgaard <jacmet@sunsite.dk> | 2008-10-20 11:32:25 +0000 |
---|---|---|
committer | Peter Korsgaard <jacmet@sunsite.dk> | 2008-10-20 11:32:25 +0000 |
commit | 886b274a5cbe66f470867004a73384451b140c19 (patch) | |
tree | 9b7ba18a4996357f10c9939aad65fa4f87ba5e53 /package/sed/configure.patch | |
parent | fedf24cf51f39922ce2d9ebf478a4a83477c789f (diff) |
BR2_HAVE_DOCUMENTATION: add option to remove documentation from target
Some packages' install-strip target install quite big documentation,
so create an option to remove it similar to the existing man/info options.
Diffstat (limited to 'package/sed/configure.patch')
0 files changed, 0 insertions, 0 deletions