On 8/9/06, Jean-Marc Lasgouttes <[EMAIL PROTECTED]> wrote:
If we use a different temp file each time, how do we know when we can delete it?
What if we attempt to delete each old version of the temp file each time we create a new one? That way we do not proliferate old temp files unless we know they are still in use. Are there any cases (apart from the DVI viewer) where this would behave worse than the current situation? -- John C. McCabe-Dansted PhD Student University of Western Australia
