smlfamily / sml-the-living-language Goto Github PK

As the previous index had hard-coded entries and page numbers that did not correspond to the new layout from the LaTeX sources, it has been removed.

We would like to re-create the index through the makeidx package, which has documentation at: https://en.wikibooks.org/wiki/LaTeX/Indexing

This work is basically to go through the printed copy of the Definition of Standard ML (Revised), annotate the LaTeX with \index{key} annotations, and enable index generation.