]> git.zndr.dk Git - dotfiles.git/commitdiff
Fix path to local man and info
authorJannik Zander <jannikz@gmail.com>
Thu, 26 May 2016 15:14:54 +0000 (17:14 +0200)
committerJannik Zander <jannikz@gmail.com>
Thu, 26 May 2016 15:14:54 +0000 (17:14 +0200)
.config/profile/rc/paths.sh

index cdbf25c271dcfdc8e847fff2ba43ad37d65395cf..9aa7213013270b152e06eb9872c636bdb011eb28 100644 (file)
@@ -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