Revision history [back]
 | 1 | initial version |
As a workaround I found that adding:
if test -d /Library/TeX/texbin then export PATH=$PATH:/Library/TeX/texbin fi
There is probably a better way, but I could not find where /usr/texbin is set in the sage source.
Mike
| | 2 | No.2 Revision |
As a workaround I found that adding:
if test -d /Library/TeX/texbin
then
/Library/TeX/texbin
then
export PATH=$PATH:/Library/TeX/texbinfi
There is probably a better way, but I could not find where /usr/texbin is set in the sage source.
Mike
| | 3 | No.3 Revision |
As a workaround I found that adding:
if test -d /Library/TeX/texbin/Library/TeX/texbin
then
then
export PATH=$PATH:/Library/TeX/texbin
fi
fi
There is probably a better way, but I could not find where /usr/texbin is set in the sage source.
Mike
