26 Feb
2018
26 Feb
'18
4:53 p.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/