makefile now shows creation of pdfs instead of ps