diff --git a/Makefile b/Makefile
index 006a51d472a..e900af64dbb 100644
--- a/Makefile
+++ b/Makefile
@@ -162,3 +162,11 @@ help: # Display help
 
 include release/release.mk
 include test/ci.mk
+
+##########################
+# Documentation generation
+##########################
+
+.PHONY: docgen
+docgen:
+	go run -tags pivkey,pkcs11key,cgo ./cmd/help/
diff --git a/cmd/help/verify.sh b/cmd/help/verify.sh
index 0e09addbf80..9cdda69ce2e 100755
--- a/cmd/help/verify.sh
+++ b/cmd/help/verify.sh
@@ -20,6 +20,6 @@ set -e
 tmpdir=$(mktemp -d)
 go run -tags pivkey,pkcs11key,cgo cmd/help/main.go --dir "$tmpdir"
 echo "###########################################"
-echo "If diffs are found, run: go run -tags pivkey,pkcs11key,cgo ./cmd/help/"
+echo "If diffs are found, run: make docgen"
 echo "###########################################"
 diff -Naur "$tmpdir" doc/