Reinhard Kotucha <reinhard.kotucha at web.de> wrote: > Frank, I suppose that > you made it configurable because you had been unsure whether your > platform detection code is reliable enough when you wrote texdoc a > year ago. Or because I wasn't aware of os.remove. Regards, Frank -- Frank Küster Debian Developer (teTeX/TeXLive)