One more thing to remember.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@4302 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/docs/internals/release-HOWTO b/docs/internals/release-HOWTO
index 7c51c88..92a6182 100644
--- a/docs/internals/release-HOWTO
+++ b/docs/internals/release-HOWTO
@@ -83,6 +83,7 @@
- Update www.valgrind.org/downloads/source_code.html.
- Update www.valgrind.org/downloads/archive.html.
- Add a news item to the front page and also to valgrind.org/info/news.html.
+ - Update the "release-date" and "release-version" in php/.htconfx.
- Other pages that might need updating: devel/cvs_svn.html.
- Change release number in AC_INIT() in configure.in to "X.Y.Z.SVN", where