From 51451a631bd725183c72963e8facc56a59a0ef14 Mon Sep 17 00:00:00 2001 From: Jürgen Knödlseder Date: Tue, 21 Jan 2014 22:38:29 +0100 Subject: [PATCH] Handle special case that $manpath is undefined. --- src/ctools-setup.in | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/ctools-setup.in b/src/ctools-setup.in index 1583174..f4359fb 100644 --- a/src/ctools-setup.in +++ b/src/ctools-setup.in @@ -173,7 +173,8 @@ fi # Set MANPATH # ============== if [ "x$MANPATH" = x ]; then - MANPATH="$man_dir:$(manpath)" + manpath=${manpath:-} + MANPATH="$man_dir:${manpath}" else MANPATH=`echo ":$MANPATH:" | \ sed "s%:$man_dir:%:%g" | sed "s%::*$%%"` -- libgit2 0.21.4