diff --git a/doc/developers.dox b/doc/developers.dox
index 4fe211466..512a218e6 100644
--- a/doc/developers.dox
+++ b/doc/developers.dox
@@ -894,7 +894,7 @@ inverse.
- Don't forget about the bootstrap repository and toolchains as well
6. Go through merged PRs (and the *most important* issues) and add new people
to `dox/credits.md` (and similar files in other repositories) and
- https://magnum.graphics/about/, if they are not there yet
+ https://magnum.graphics/about/ , if they are not there yet
7. Update changelog for the next release:
- change section names for the latest release from `latest` to `20XY-ab`
- change the title from `Changes since 20XY.aa` to `20XY.ab`
@@ -903,8 +903,13 @@ inverse.
- add a temporary \@anchor changelog-latest (and
equivalent in other repos) on top so the links from main page work
properly
-8. Convert all occurences of \@m_since_latest to
- \@m_since{20XY,ab}
+8. Convert all occurences of
+ - \@m_since_latest_{thing} to \@m_since_{thing,20XY,ab}
+ - \@m_since_latest to \@m_since{20XY,ab}
+ - \@m_deprecated_since_latest_{thing} to
+ \@m_deprecated_since_{thing,20XY,ab}
+ - \@m_deprecated_since_latest to
+ \@m_deprecated_since{20XY,ab}
9. Bump `MAGNUM*_LIBRARY_VERSION`, `MAGNUM*_LIBRARY_SOVERSION`
`MAGNUM*_VERSION_YEAR` and `MAGNUM*_VERSION_MONTH` in all projects. Ensure
all projects have the exact same version.