doc: update dev guide with more places where to change copyright year.

5 years ago · fda70b0f57
1 changed files with 3 additions and 1 deletions
--- a/doc/developers.dox
+++ b/doc/developers.dox
@ -987,7 +987,9 @@ inverse.
    replace `... —` with `..., 20XZ —` there as well
 4.  Copy all `Find*.cmake` modules to dependent projects to update the
    copyright year in these as well
-5.  Update `package/debian/copyright` to say the new year as well
+5.  Update other occurences by hand:
+    -   `package/debian/copyright`
+    -   `doc/conf.py`
 6.  Use @cb{.sh} git diff @ce to verify the change went well and the new year
    is specified exactly once everywhere
 7.  Do a local verification build, push to `master`