Question about @tie{}

[Torsten Bronger]

Hallöchen!

The Texinfo fragment "address@hidden" yields 

    approx. <!-- /@w -->7

in XML/DocBook/HTML output.  However, I expect

   approx.&nbsp;7

in the output.  In cmds.c it says

      if (docbook || html || xml)
        /* This is so @w{$}Log$ doesn't end up as <dollar>Log<dollar>
           in the output.  */
        insert_string ("<!-- /@w -->");

I don't understand neither the behaviour nor the source comment.
What is the idea behind it?  Further it says in the source

    /* An unbreakable word space.  Same as @w{ } for makeinfo, but different
       for TeX (the space stretches and stretches, and does not inhibit
       hyphenation).  */
    void
    cm_tie (int arg)
    {
      if (arg == START)
        {
          cm_w (START);
          add_char (' ');
        }
      else
        cm_w (END);
    }

If nobody objects, I remove the call of cm_w() for XML/HTML/DocBook
targets and let insert a &#xa0; (= &nbsp;) directly.

Tschö,
Torsten.

-- 
Torsten Bronger, aquisgrana, europa vetus