On Thursday 18 July 2002 4:56 pm, Herbert Voss wrote:
> > Is there a more elegant way to invoke rm and remove these files?
>
> yes, do nothing, then they are deleted when the user
> quits lyx ...

That's not elegant at all.

Reply via email to