On Sun, Aug 14, 2022 at 11:44:52PM +0200, Enrico Forestieri wrote: > > Only a suggestion: I would simply check for "-synctex=" rather than > "--synctex=1" because the double dash is optional and any value > different from 0 would do (I don't think someone would specify it). I did that at 90551a03. -- Enrico