This is makeindex, version 2.15 [TeX Live 2020] (kpathsea + Thai support).
Scanning style file ./python.ist.......done (7 attributes redefined, 0 ignored).
Scanning input file CoqRefMan.idx.....done (1211 entries accepted, 0 rejected).
Sorting entries............done (13408 comparisons).
Generating output file CoqRefMan.ind.....done (1393 lines written, 0 warnings).
Output written in CoqRefMan.ind.
Transcript written in CoqRefMan.ilg.
