Commit graph

4 commits

Author SHA1 Message Date
Richard van der Hoff
44b802ffa0 make 'latest' the default 2021-07-07 10:48:07 +01:00
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