This module defines index commands and formatting.
Usage:typeindex(IdxName,IndexId,IType,Name,Comment)
Define properties of the index IdxName. IndexId is the index ID for texinfo. IType is the type of index; an empty string means normal. Name is the title of the index in the documentation. Comment is a comment to include before the index.