diff --git a/docs/RELEASE-PROCEDURE.md b/docs/RELEASE-PROCEDURE.md
index e48a4d28a2..4f662ce868 100644
--- a/docs/RELEASE-PROCEDURE.md
+++ b/docs/RELEASE-PROCEDURE.md
@@ -4,7 +4,8 @@ curl release procedure - how to do a release
 in the source code repo
 -----------------------
 
-- run `./scripts/copyright.pl` and correct possible omissions
+- do a *regular build* with a sensible build config to make sure the
+  `src/tool_hugehelp.c` file etc is correctly generated
 
 - edit `RELEASE-NOTES` to be accurate