summaryrefslogtreecommitdiffstats
path: root/install
diff options
context:
space:
mode:
authorJunegunn Choi <junegunn.c@gmail.com>2015-03-26 03:26:28 +0900
committerJunegunn Choi <junegunn.c@gmail.com>2015-03-26 03:26:28 +0900
commit91876e98cd361c627664502f9da5e34f726d7f73 (patch)
tree0ca8dc8e7d4de596b0d9201734a36ffbde395a9a /install
parenteb8fef0031a4d365093617238dac05d6f6c16a1a (diff)
Avoid duplicate paths in MANPATH
Diffstat (limited to 'install')
-rwxr-xr-xinstall2
1 files changed, 1 insertions, 1 deletions
diff --git a/install b/install
index ce001cba..55fb2e50 100755
--- a/install
+++ b/install
@@ -186,7 +186,7 @@ fi
# Man path
# --------
-if [ -d "$fzf_base/man" ]; then
+if [[ ! "\$MANPATH" =~ "$fzf_base/man" && -d "$fzf_base/man" ]]; then
export MANPATH="\$MANPATH:$fzf_base/man"
fi