[tex-live] logfile format

Karl Berry karl at freefriends.org
Thu May 25 22:32:39 CEST 2006


    Here's a sed script which does what I want.

Thanks, I will try to install this in the right place.


More information about the tex-live mailing list