>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:
Lars> Hmm... do we really :-) Lars> We should create typografically correct output, ascii be damned. Lars> :-) For a man page? I really prefer having ascii that can be cut-and-pasted. JMarc
