On Mon, Jun 19, 2017 at 08:57:00PM +0200, Jürgen Spitzmüller wrote: > Am Montag, den 19.06.2017, 20:33 +0200 schrieb Enrico Forestieri: > > Because we don't know whether it's needed? > > Why not? Can't we define that?
Are you able to tell that you need -shell-escape for the attached document? -- Enrico