diff -r 924bf9d4dbc0 -r a14142919eb3 dev/making-a-release
--- a/dev/making-a-release	Fri Aug 24 11:46:27 2012 +0100
+++ b/dev/making-a-release	Fri Aug 24 11:52:59 2012 +0100
@@ -8,7 +8,7 @@
 - run debchange
 - Fix the actual problems (updating NEWS, CREDITS, debchange as we go)
 - Test with dev/chroot-test/run-test
-- Ensure year in README is up to date
+- Ensure year in README and doc/manual.docbook is up to date
 - Update Standards-Version
 - dev/debian-build/dbuild
 - CHROOT_TEST_INSTALLDEB=true dev/chroot-test/run-test