From: Mark Wooding <mdw@distorted.org.uk>
Date: Sun, 15 Mar 2009 11:46:33 +0000 (+0000)
Subject: bash_profile: Extend the collection of INFOPATH directories.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/profile/commitdiff_plain/1db6f8da9c563c98cfdf54e3d28d3d228cde0cb8?ds=inline;hp=-c

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.
---

1db6f8da9c563c98cfdf54e3d28d3d228cde0cb8
diff --git a/bash_profile b/bash_profile
index 057f797..017ff4c 100644
--- 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