Re: [isabelle] Passing pdflatex options to isabelle build

I've just figured out an adhoc solution: to edit the etc/settings file in
the Isabelle directory.

ISABELLE_LATEX="latex -file-line-error --shell-escape"
ISABELLE_PDFLATEX="pdflatex -file-line-error --shell-escape"

Is there a way of changing these variables without overwriting this
configuration file?

Best regards,

On Thu, 21 Mar 2019 at 14:50, Diego Machado Dias <diegodias.m at>

> Dear all,
> I would like to use the latex package minted in the documentation of a
> theory file, but the PDF generation requires pdflatex to be called passing
> the --shell-escape option.
> How can I configure isabelle build to pass the option --shell-escape when
> calling the latex compiler?
> Best regards,
> Diego

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.