Am Sonntag, den 18.06.2017, 19:56 +0200 schrieb Enrico Forestieri: > > I think we need to provide an option to add -shell-escape only to > > specific documents and only on the given machine. This prevents > > sending > > documents with -shell-escape (main problem of a document setting). > > This is contradictory. We avoid sending documents with -shell-escape > but then add it to specific documents. So, it is the same thing.
No, it isn't. I didn't propose a document property, but a per-document session setting. This is a completely different thing. Jürgen
signature.asc
Description: This is a digitally signed message part
