Once the repository has been moved to GitHub (Issue #223), we need to devise a workflow that allows us to publish the html docs as a gh-pages branch in the repository.
It is important that there's a reasonably up-to-date documentation for the develop branch online because many people are using it for actual work. It also allows us to easily proof-read the docs. Should we ever get the docs to work on Read The Docs (Issue #183) then this point will become less important (although still desirable).
Original issue reported on code.google.com by orbeckst on 28 Mar 2015 at 1:42