Fixes PDF file

- PDF file did not contain nomenclature. The makeindex command needs to
be run separately and the document typeset again.