[tex-live] logfile format

[Karl Berry]

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

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