2 Sep
2013
2 Sep
'13
9:44 p.m.
On 9/2/2013 6:14 PM, Alan Bowen wrote:
(personnaly I add also rm -f *.tui *.log *.tuo *.xdv *.mp *.tmp *.top *-mpgraph.* *-mpgraph-temp.dvi *.tuc at the end of each of the files to remove auxiliary files, but you must be careful with removing such files as *.mp…).
--purge ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | voip: 087 875 68 74 | www.pragma-ade.com | www.pragma-pod.nl -----------------------------------------------------------------