Patch release 0.1.3 to re-correct bug in makefile

Wildcard expansion in the pdf dependencies still isn't working, so
this patch switches back to list the individual pdfs explicitly.  It's
not very exciting, but there aren't many pdf files so it shouldn't be
too much of a pain to deal with manually.
Merge patch correcting Makefile dependencies