To build the PDF, simply type "make" from this directory, and the resulting PDF (ourmine-v4.pdf) will be placed into the local ~/tmp directory.