% index.tex
% file containing the index, at the very end of the document.
\addcontentsline{toc}{section}{Index}
\printindex
