Re: @option should maybe use @w

Hi. I just noticed a case, using texinfo.tex 2012-11-08.11, where @option{--posix} got line broken between the second hyphen and the `posix'; That's awful. Thanks for the report. Can you send me the paragraph in question, please? perhaps @option should use @w around it's argum

@option should maybe use @w

Hi. I just noticed a case, using texinfo.tex 2012-11-08.11, where @option{--posix} got line broken between the second hyphen and the `posix'; perhaps @option should use @w around it's argument? Thanks! Arnold