From 2f1cb591d5c608a5bab7e8ec521b3b420f6c5c6e Mon Sep 17 00:00:00 2001 From: Jeremy Dormitzer Date: Wed, 12 Feb 2020 14:23:33 -0500 Subject: [PATCH] Add brew-installed texinfo to $PATH --- bash/.bash_profile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/bash/.bash_profile b/bash/.bash_profile index 0c714a9..5b4f1bc 100644 --- a/bash/.bash_profile +++ b/bash/.bash_profile @@ -2,6 +2,8 @@ # $HOME/.bash_profile # +export PATH="/usr/local/opt/texinfo/bin:$PATH" + [[ -f "$HOME/.bashrc" ]] && source $HOME/.bashrc [[ -f "$HOME/.bash_local" ]] && source "$HOME/.bash_local"