On 3 sept. 2013, at 19:14, Aditya Mahajan <adit...@umich.edu> wrote:

>> […]
>> the synctex.gz file is not anymore deleted (however a utility file 
>> [file-name].tuc remains).
> 
> That (not deleting tuc file) is delebrate (as it saves time in successive 
> runs). If you want to delete the tuc file, you can use --purgeall instead of 
> --purge.

Thanks Aditya: actually that utility file .tuc can be deleted for some 
situations (for instance when one does a small test) and kept for others.
Maybe for those who do not use ConTeXt from a Terminal, but rather from editors 
like TeXShop or TeXWorks, one could have a feature to pass typesetting options 
to mkiv, for instance like a \setuptypesetting command, to be put in the first 
five lines of a document, which accepts various parameters such as for example
        \setuptypesetting[purge=yes,synctex={yes,zipped},engine=mkiv]

to pass options to mkiv. But this is probably too complicated.

Best regards: OK
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the 
Wiki!

maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage  : http://www.pragma-ade.nl / http://tex.aanhet.net
archive  : http://foundry.supelec.fr/projects/contextrev/
wiki     : http://contextgarden.net
___________________________________________________________________________________

Reply via email to