![](https://secure.gravatar.com/avatar/d4bd34a45c928e8356f38323ff84763e.jpg?s=120&d=mm&r=g)
26 Feb
2018
26 Feb
'18
8:53 a.m.
I seem to be not able to get a synctex.gz instead of a synctex file. I tried context --synctex=1 file and context --synctex=-1 file but in both cases a simple synctex-file is created. Is this normal? -- Ulrike Fischer http://www.troubleshooting-tex.de/