3 commits

Author	SHA1	Message	Date
Andrew Morgan	860e0ba866	Redirect to develop/index.html instead (#10241) ... GitHub Pages will serve develop/index.html if we navigate to develop/. index.html will still be the welcome page (for now), but if we ever decide to change that in the future, we won't need to update this redirect page	2021-06-24 18:00:42 +01:00
Andrew Morgan	8d430cb096	Fix redirect to documentation	2021-06-03 17:23:51 +01:00
Andrew Morgan	188296dd24	Set up gh-pages branch ... The index.html will redirect people to the latest documentation directory (develop), and the .nojekyll file will force github to serve index.html files on a folder path (the user would be served synapse/develop/index.html if they navigated to synapse/develop).	2021-05-28 14:36:00 +01:00