Adding publications.php (as publications.html) and a link from
index.html.