>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:
Lars> Or are you saying that the proper character for the use should Lars> not be used, but hat minus signs should be used instead? What I think is that we should do like the other man pages on my system. And they use \-. Can I apply the patches? At least debian users will not have weird characters. JMarc