Re: @option should maybe use @w

[Karl Berry]

    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 argument?

I'm not sure if @w is the best way, but one way or another that
particular line break should be prevented for sure.

k