diff --git a/server/doc/mansrc/eit-push.1.txt b/server/doc/mansrc/eit-push.1.txt
index e69d27479..9c3249c57 100644
--- a/server/doc/mansrc/eit-push.1.txt
+++ b/server/doc/mansrc/eit-push.1.txt
@@ -11,7 +11,8 @@ eit-push - push repository packages and metadata
 
 SYNOPSIS
 --------
-eit push [-h] [--conservative] [--quick] [--all | --as <repo>] [--pretend]
+eit push [-h] [--conservative] [--quick] [--force] [--all | --as <repo>]
+         [--pretend]
          [<repo>]
 
 
@@ -43,6 +44,9 @@ OPTIONAL ARGUMENTS
 *--quick*::
     no stupid questions
 
+*--force*::
+    force push in case of QA errors
+
 *--all*::
     push all the repositories