Acronyms in HTML

[Torsten Bronger]

Halloechen!

I am using makeinfo 4.6.  @acronym{}s should be translated to
<acronym/>s instead of <small/>s in HTML.

By the way, the very unusual representation of acronyms in printed
and HTML output kept me from using @acronym.  At the moment, my
header says

\def\niceracronym#1{#1}
\input texinfo
@address@hidden@niceracronym

so that I can use it at least.  A clean solution is possible only in
LaTeX (with relsize and soul).  Maybe the DocBook way will make that
possible.

Tschoe,
Torsten.

-- 
Torsten Bronger, aquisgrana, europa vetus