add-index-to-pdf

This script allow to add an outline / index to a pdf.

Starting from a CSV containing the index, we convert it to the pdfmark format, then fuse it with the pdf using ghostscript.