diff options
| -rwxr-xr-x | tools/gendocs.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/gendocs.sh b/tools/gendocs.sh index 48b6a943..483f0230 100755 --- a/tools/gendocs.sh +++ b/tools/gendocs.sh @@ -13,6 +13,14 @@ case $1 in papersize='';; # US Letter is texinfo default esac +# Use keg-only Mac Hombrew texinfo if installed. +# Since texi2pdf is a shell script itself executing texi2dvi +# PATH is prepended with the path to correct texinfo scripts. +if [ $(uname -s) = 'Darwin' ]; then + brew list texinfo >/dev/null 2>&1 \ + && export PATH="$(brew --prefix texinfo)/bin:$PATH" +fi + echo "===================================== Making Info..." makeinfo ledger3.texi echo "===================================== Making HTML..." |