Publishing on github-pages is now just matter of a "make publish"