diff options
| author | Théo Zimmermann | 2020-05-10 00:08:33 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-10 00:08:33 +0200 |
| commit | 2760d13b4bc70738cf10f1e6864764f62dcef32d (patch) | |
| tree | ed2a7926db995bc523da7d81747ceb2493f05cb3 /dev/doc | |
| parent | 34e2e7901ffb7fee1a51f890f1c4f5d77a21d48a (diff) | |
| parent | 2f74daa02ac02d63f3f755c36b0749c8f91eb733 (diff) | |
Merge PR #12286: [sphinx] Add links to other versions of the refman
Reviewed-by: Zimmi48
Diffstat (limited to 'dev/doc')
| -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 ceb390c02c..340b66bbd0 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 ## |