OT: Strange output of shell"man xyz" on OS X

[Klaus Major]

Bonjour Didier,

> "Double letters" is the way the Terminal displays bold characters...

thanks for the explanation.

But what about : "..._P_A_T_T_E_R_N | --ff _F_I_L_E]  
[_F_I_L_E...]"?
Capital letters, but not doubled.

Any hint on how to correct the display in Rev???

> D.S.

Regards

Klaus Major
klaus at major-k.de
http://www.major-k.de