Re: better way to update site?

[Jakob Homan]

Cool. I've got ahead and deleted the generated site from the repo and
copied in the latest version (post GIRAPH-75).  Thanks.