[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,

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