After a quick thought, we shouldn't send pdfs to github.

So, changed that Makefile.