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"