This is makeindex, version 2.14 [02-Oct-2002] (kpathsea + Thai support). Scanning input file monoid.idx....done (132 entries accepted, 0 rejected). Sorting entries....done (977 comparisons). Generating output file monoid.ind....done (184 lines written, 0 warnings). Output written in monoid.ind. Transcript written in monoid.ilg.