5 commits

Author	SHA1	Message	Date
Erik Johnston	ee529d680c	Update index link	2023-12-13 15:58:00 +00:00
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