diff options
| author | Clément Pit-Claudel | 2020-05-08 22:10:58 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2020-05-09 17:23:43 -0400 |
| commit | 2f74daa02ac02d63f3f755c36b0749c8f91eb733 (patch) | |
| tree | 13fe712365ddf79f00de5e3107c1ee8a323a3f7f /dev | |
| parent | 3d01f120976be6805a80b34633b9cd9552b2ffe3 (diff) | |
[sphinx] Add links to other versions of the refman
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/release-process.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md index 58c2fcc68a..daa76fec46 100644 --- a/dev/doc/release-process.md +++ b/dev/doc/release-process.md @@ -96,6 +96,8 @@ in time. - [ ] Delay non-blocking issues to the appropriate milestone and ensure blocking issues are solved. If required to solve some blocking issues, it is possible to revert some feature PRs in the version branch only. +- [ ] Add a new link to the ``'versions'`` list of the refman (in + ``html_context`` in ``doc/sphinx/conf.py``). ## Before the beta release date ## |