bash_profile: Extend the collection of INFOPATH directories.

In particular, cover where I've stashed the ITS info files.  This makes
reading them rather easier.

diff --git a/bash_profile b/bash_profile
index 057f797dc0d57af64865dc67e5b724ba633cd4d3..017ff4cffb8ddd39cb9132be071b3645e31eeab0 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