Publish docs from `public/` to a GitLab page.