Remove unwanted .pdf's from github.