11 Nov
2008
11 Nov
'08
2:50 p.m.
On Tue, Nov 11, 2008 at 3:43 PM, Hans Hagen
luigi scarso wrote:
On Tue, Nov 11, 2008 at 2:33 PM, Alan STONE
mailto:software.list.1es9s@gmail.com> wrote: On Tue, Nov 11, 2008 at 2:03 PM, Alan STONE
mailto:software.list.1es9s@gmail.com> wrote: Do you know some tool (Windows/Linux) which enables to filter these from the log file into a text file, or delete the unwanted ones from the log file ?
Under Linux, grep should be able to do that. Under Windows ?
maybe grep of cygwin ?
or
mtxrun --script grep ...
This is a cool one... http://www.wingrep.com -- Best, Alan * TeX engine = LuaTeX * ConTeXt minimals ver: 2008.56.06 19:11 MKIV fmt: 2008.11.10 int: english/english * Ubuntu 8.04 Hardy Heron