Merge commit 'crybaby/master'; commit 'ponder/master'

[profile] / bash_profile

diff --git a/bash_profile b/bash_profile
index 7523cfc28358e9cd89dfd1b09e36cf7da9822a8e..57475a83ea7d7449ea8514a8f5d4e96ee5e79b79 100644 (file)
--- a/bash_profile
+++ b/bash_profile
@@ -129,7 +129,11 @@ __mdw_programp distcc && export CCACHE_PREFIX=distcc
 
 export TEXINPUTS=".:$HOME/lib/tex//:"
 
-__mdw_addto INFOPATH r $HOME/info /usr/info /usr/share/info /usr/local/info
+__mdw_addto INFOPATH r \
+       $HOME/info \
+       /usr/info /usr/share/info \
+       /usr/local/info /usr/local/share/info \
+       /usr/local/share/info/its
 __mdw_addto PERLLIB r $HOME/lib/perl
 __mdw_addto PYTHONPATH r $HOME/lib/python