Document deployment

Deployment takes place on my server using a git post-receive hook.