publications.html: update pdf path