Translate the index or index the translation

The procedure used to provide page numbers for a verbatim translated index is discussed. The difficulties encountered while compiling such an index are explained and, with this experience in mind, ...