diff options
| author | Bertrand Jacquin <bertrand@jacquin.bzh> | 2015-01-25 02:07:48 +0000 |
|---|---|---|
| committer | Bertrand Jacquin <bertrand@jacquin.bzh> | 2015-03-28 17:09:00 +0000 |
| commit | 5a324a1142d649e24a72543a6ad0855b0c1780cf (patch) | |
| tree | fbddb7243ecd06e5ff785cef38a79ebcb56f6a88 /profiles | |
| parent | metadata: refresh cache (diff) | |
| download | portage-5a324a1142d649e24a72543a6ad0855b0c1780cf.tar.xz | |
profiles/common: Add a drop-doc pre_pkg_preinst hook
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/common/profile.bashrc | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/profiles/common/profile.bashrc b/profiles/common/profile.bashrc index 93166759..4eccbc31 100644 --- a/profiles/common/profile.bashrc +++ b/profiles/common/profile.bashrc @@ -38,6 +38,26 @@ function __drop-nls-locales () { done } +function __drop-doc () { + # FEATURES=nodoc does not care about everything + if ! has nodoc ${FEATURES} ; then + return 0 + fi + + local -a _DIRS=( + /usr/share/gtk-doc + ) + + for _dir in "${_DIRS[@]}" ; do + if [[ ! -d "${ED}/${_dir}" ]] ; then + continue + fi + + einfo "Removing ${_dir}" + rm -rf "${ED}/${_dir}" + done +} + function __drop-empty-dir () { local i @@ -118,6 +138,7 @@ function pre_pkg_preinst () { __drop-nls-man-pages __drop-nls-locales + __drop-doc __drop-empty-dir } |