diff --git a/tools/help.txt b/tools/help.txt
index 0e5215ca19..aa8b37bd48 100644
--- a/tools/help.txt
+++ b/tools/help.txt
@@ -685,6 +685,8 @@ Options:
              downgraded to versions that are potentially incompatible with the
              current versions, if required to satisfy all package version
              constraints.
+  --no-lint  don't run linters on the published package and its local
+             dependencies before publishing
 
 
 >>> publish-for-arch