23 Jul
2007
23 Jul
'07
6:09 p.m.
On 7/23/07, Alain Matthes alain.matthes@mac.com wrote:
Don't forget --shell-escape is very(more) useful for some users. So it's very interesting to can put them in a box !
Oh, I think it's a great idea to have a box to which you can add options!
I was suggesting that the script should run something to the effect of
"$TEX_COMPILER" -interaction=nonstopmode -file-line-error $TEX_OPTIONS "$SOURCE_FILE"
You could even override these by specifying -no-file-line-error or some other -interaction switch in the TEX_OPTIONS, if you had some special reason to, but the output parsing would work by default without any elaborate explanations needed.
Robin