Add all.pdf make target.