make_str_index_entry():  New function.  Similar to make_index_entry(), but
	includes the string in the returned value instead of the dummy
	filler character.

add_idx():  Override the latex2html function of the same name; this gets
	the anchor properly embedded in the <dt> element, so the index
	works in Grail too.
1 file changed