Tag: JavaScript

I describe my method for creating a book index. This uses a PDF file of the proofs and a script to extract all comments.