Processing the attached document with luatex, I get
! Undefined control sequence.
l.7 which assigns the symbols *, †, ‡, §
, ¶ to
It works just fine with pdtex. A bug?
Werner
\input texinfo.tex @documentencoding UTF-8 §, ¶ @bye
