Updated publications.html (executed a single step of 'make doc' manually).