Oops, *append* my local man path to MANPATH instead of clobbering the original

diff --git a/src/.bashrc.d/05local_paths b/src/.bashrc.d/05local_paths
index 631e068cb9f967812924aafabe1861b15cf12b00..f08ec322ff041a1dc604d9fb3d94d1a56fd622cc 100644 (file)
--- a/src/.bashrc.d/05local_paths
+++ b/src/.bashrc.d/05local_paths
@@ -4,7 +4,7 @@ if [ -d ~/lib ]; then
 fi
 
 # append personal manpages to manpath
-export MANPATH=":$HOME/.local/share/man"
+export MANPATH="$MANPATH:$HOME/.local/share/man"
 
 # personalize latex path
 export TEXINPUTS=":.:$HOME/.local/share/texmf/"