shell: set INFOPATH properly
authorAmin Bandali <bandali@gnu.org>
Mon, 2 Sep 2019 00:57:56 +0000 (20:57 -0400)
committerAmin Bandali <bandali@gnu.org>
Mon, 2 Sep 2019 00:57:56 +0000 (20:57 -0400)
commita71a12e16a9d94484e15141b4dea7f37f4091abd
tree7d65fb09c9dd8ba0bc4d5f03fab3b96c06c3f583
parentca79fa96a8ff32996afe678089f446d57bf85260
shell: set INFOPATH properly
.config/profiles/jirud
.profile