>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:
Lars> The added section on dvipost is good. Get OK from J-M before Lars> removing the others from the doc. (I would have preferred two Lars> different patches for this) All these changes are OK. JMarc
