23 Mar
2013
23 Mar
'13
1:28 p.m.
Am Wed, 20 Mar 2013 23:08:24 +0100 schrieb Hans Hagen:
Is it possible to tell context to create a .synctex file instead of a .synctex.gz?
I've added --synctex=unzipped (or zipped or 1 or -1 or anything boolean). No upload yet.
Thanks! -- Ulrike Fischer http://www.troubleshooting-tex.de/