[isabelle] Passing pdflatex options to isabelle build



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.