Arnold, I just updated texinfo.tex (http://ftpmirror.gnu.org/texinfo/texinfo.tex, etc.) so that multiple-line @titles work. They're broken automatically if needed, or you can use @* to choose the breakpoints.
@title AWK As A Major Systems Programming @* Language---Revisited Patrice, since HTML has no singular line width, I think it would be best to always ignore @* in the @title there? (Which I think you may already be doing.) k
