Re: gendocs.sh and texi2html

[Karl Berry]

Hi Patrice,

    Is it problematic in texi2html? 

You need to ask Bruce Korb <address@hidden> about his purported bug
(personally, I was skeptical too).  I don't think he's on bug-texinfo.

    You shouldn't rely on this behaviour, it is just a texi2html bug. @alias
    should be implemented...

I don't think Bruno Haible <address@hidden> is on bug-texinfo either.

    better than no encoding for utf8 in node names 

I really doubt it.

    (but I am not sure how UTF-8 in node names is supported in makeinfo
    currently).

At present, what makeinfo does is copy bytes.  It has no real
understanding of UTF-8.  So if the input is UTF-8, the output will be
too (unless the input happens to contain an @ in some multibyte
sequence).  I am doubtful that UTF-8 node names will work with
texinfo.tex though.

karl