diff options
| -rw-r--r-- | profiles/common/profile.bashrc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/profiles/common/profile.bashrc b/profiles/common/profile.bashrc index 7998c808..93166759 100644 --- a/profiles/common/profile.bashrc +++ b/profiles/common/profile.bashrc @@ -1,5 +1,6 @@ function __drop-nls-man-pages () { - if ! has noman ${FEATURES} ; then + # FEATURES=noman already take care of deleting man-pages + if has noman ${FEATURES} ; then return 0 fi |