put notes in Releasing about keeping doc/header.inc up to date

diff --git a/Releasing b/Releasing
index c29e61c31182da3680380cdae3d308b7b1d3fbe9..4c8e4970fb1f4d823e1c097bd52857c5b347b8b3 100644 (file)
--- a/Releasing
+++ b/Releasing
@@ -27,6 +27,8 @@ These are Keith's notes on how to do a release
 
        - make sure doc/Makefile points at that too
 
+       - confirm doc/header.inc has correct copyright year
+
 These are Bdale's notes on how to do a release.
 
        - make sure Debian build environment is up to date
@@ -59,6 +61,7 @@ These are Bdale's notes on how to do a release.
        - make sure there is a doc/release-notes-<version>.inc
        - make sure that doc/*.txt have the right copyright year and the
          new release is included
+       - confirm doc/header.inc has correct copyright year
        - make absolutely sure checked-out tree is "clean" 
        - make absolutely sure any commits Keith might have pushed to branches
          like debian are already pulled