Khaled Hosny wrote:
On Mon, Jun 08, 2009 at 01:28:01PM +0200, Mojca Miklavec wrote:
Hello Hans,

may I request removing \jobname.pgf when doing context/ctxtools
--purgeall (in both mkii/mkiv)? That's a file that TikZ creates by
default (similar to \jobname-mpgraph*, only serving a different
purpose) and is only needed when a document is compiled on computer
without tikz installed.

(Low priority request.)

While on it, may I request removing .synctex.gz generated when SyncTeX
is enabled (I know it is needed for previewers, but I assume --purgeall
to remove every generated file except the output document).

local temporary_runfiles = {
    "tui", "tua", "tup", "ted", "tes", "top",
    "log", "tmp", "run", "bck", "rlg",
    "mpt", "mpx", "mpd", "mpo", "mpb",
    "ctl", "synctex.gz",
}

can you test it?




-----------------------------------------------------------------
                                          Hans Hagen | PRAGMA ADE
              Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
     tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com
                                             | www.pragma-pod.nl
-----------------------------------------------------------------
_______________________________________________
dev-context mailing list
[email protected]
http://www.ntg.nl/mailman/listinfo/dev-context

Reply via email to