PDF Index Maker is a Python tool for creating an index for a PDF file