Revise the name of file 'publications.md' to 'publications.html'