From: Jannik Zander <jannikz@gmail.com>
Date: Thu, 26 May 2016 15:14:54 +0000 (+0200)
Subject: Fix path to local man and info
X-Git-Url: https://git.zndr.dk/?a=commitdiff_plain;h=0bc9afa9099554d99bd0d4e2d2119c6c4bed2333;p=dotfiles.git

Fix path to local man and info
---

diff --git a/.config/profile/rc/paths.sh b/.config/profile/rc/paths.sh
index cdbf25c..9aa7213 100644
--- a/.config/profile/rc/paths.sh
+++ b/.config/profile/rc/paths.sh
@@ -5,13 +5,13 @@ if [ -d "${HOME}/.local/bin" ] ; then
 fi
 
 # Set MANPATH so it includes users' private man if it exists
-if [ -d "${HOME}/.local/man" ]; then
-  MANPATH="${HOME}/.local/man:${MANPATH}"
+if [ -d "${HOME}/.local/share/man" ]; then
+  MANPATH="${HOME}/.local/share/man:${MANPATH}"
 fi
 
 # Set INFOPATH so it includes users' private info if it exists
-if [ -d "${HOME}/.local/info" ]; then
-  INFOPATH="${HOME}/.local/info:${INFOPATH}"
+if [ -d "${HOME}/.local/share/info" ]; then
+  INFOPATH="${HOME}/.local/share/info:${INFOPATH}"
 fi
 
 # Set PATH to temporary folders