Re: Acronyms in HTML

[Karl Berry]

  address@hidden optional-arg proposal]

That looks ok to me.

    By the way, I have a couple of books with an ``Acronyms Used in This
    Book'' section.  It may be nice to give the authors an easy way to
    create such a section, ie. with a @listofacronyms command.

I don't think it's worth it, because a real glossary wouldn't just have
an entry:
XML   eXtensible Markup language

A good glossary would have more explanation, references, etc.  And all
that wouldn't work in the context of the @acronym in the text.

Thanks,
k