4 commits

Author	SHA1	Message	Date
Action Bot	bb93e1f576	Version picker deployed for v1.37 docs to Github Pages	2023-12-11 14:58:37 +00:00
Richard van der Hoff	1baa62bd4a	Remove outdated documentation directories ... `upgrading/index.html` got replaced by `upgrade.html`.	2021-08-17 21:23:52 +01:00
Andrew Morgan	b0ff61babb	Manually add v1.37/index.html ... #10242 made it so that the welcome and overview page would be copied to index.html when generating a docs version. This change landed in develop however, and did not make it to the release-v1.37 branch. So we need to do this step manually here, but will not have to in the future.	2021-06-30 23:49:21 +01:00
babolivier	19668ea015	deploy: cdf569e468	2021-06-29 09:17:14 +00:00