From 0d15e0420c267194abd19ae3898bb19013d40bb8 Mon Sep 17 00:00:00 2001 From: Bertrand Jacquin Date: Mon, 29 Dec 2014 20:17:37 +0000 Subject: profiles/common: Fix __drop-nls-man-pages when FEATURES does not contain noman --- profiles/common/profile.bashrc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'profiles') 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 -- cgit v1.2.3