diff --git a/man/kernel-install.xml b/man/kernel-install.xml
index 168776b4d3..54c254e20b 100644
--- a/man/kernel-install.xml
+++ b/man/kernel-install.xml
@@ -30,6 +30,11 @@
       <arg choice="plain"><replaceable>KERNEL-IMAGE</replaceable></arg>
       <arg choice="opt" rep="repeat"><replaceable>INITRD-FILE</replaceable></arg>
     </cmdsynopsis>
+    <cmdsynopsis>
+      <command>kernel-install</command>
+      <arg choice="opt" rep="repeat">OPTIONS</arg>
+      <arg choice="plain">add-all</arg>
+    </cmdsynopsis>
     <cmdsynopsis>
       <command>kernel-install</command>
       <arg choice="opt" rep="repeat">OPTIONS</arg>