4 Feb
2003
4 Feb
'03
4:07 p.m.
mari.voipio@iki.fi writes: Hello again,
On Tue, 4 Feb 2003, Patrick Gundlach wrote:
there is no way to get rid of the tuo files with texutil.
Sigh. One more thing to confuse my users, I'd hoped to be able to get rid of those as well. Now I will instead have to add one more line to my instructions saying "just don't care".
Perhaps it would be nice to have something like texutil --purge --all that removes all files that are removed with texutil --purge plus the .tuo, .dvi and .pdf files. and/or texutil --purge --most that removes all files that are removed with texutil --purge plus .tuo but keep the .dvi, .pdf files. Patrick