>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:

Martin> Done!

Martin> Works as such :-)

Martin> see attached.

Martin> What next?

Either you commit it right now or you wait a bit until I have time to
find out how to do this at latex level. I think it is less error prone
than parsing log files (are we sure the list of languages is always on
one line?)

JMarc

Reply via email to