update Makefile; update pdf files.