diff options
| -rw-r--r-- | profiles/common/profile.bashrc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/profiles/common/profile.bashrc b/profiles/common/profile.bashrc index 3113fb93..1574a1dd 100644 --- a/profiles/common/profile.bashrc +++ b/profiles/common/profile.bashrc @@ -2,6 +2,10 @@ function __drop-nls-man-pages () { local -a _DIRS=( /usr/share/man /usr/share/postgresql-*/man + /usr/share/binutils-data/*/*/man + + /usr/lib*/icedtea*/man + /usr/lib*/php*/man ) local _dir |