This PR moves github hosting back to github pages.
This means the master repo is kept free of having reference docs piling up under the docs repo.
One thing that's added that wasn't there before is that individual pages can be kept in docs/ in master and it'll be copied over to gh-pages on a docs release.
cc @jeffposnick
This PR moves github hosting back to github pages.
This means the master repo is kept free of having reference docs piling up under the docs repo.
One thing that's added that wasn't there before is that individual pages can be kept in docs/ in master and it'll be copied over to gh-pages on a docs release.