Push documentation onto github pages
Closed this issue · 1 comments
rainman110 commented
Build documentation for releases and push them to github pages.
joergbrech commented
As of now the documentation is hosted on GH pages and the sourceforce address redirects to gh pages. Automating this with releases is part of #189.