diff --git a/documentation/dev-manual/dev-manual-qemu.xml b/documentation/dev-manual/dev-manual-qemu.xml
index 4d95fbdd9f..ccc915f6d7 100644
--- a/documentation/dev-manual/dev-manual-qemu.xml
+++ b/documentation/dev-manual/dev-manual-qemu.xml
@@ -171,6 +171,9 @@
                     Establishes a custom directory for BIOS, VGA BIOS and
                     keymaps.
                     </para></listitem>
+                <listitem><para><filename>biosfilename</filename>:
+                    Establishes a custom BIOS name.
+                    </para></listitem>
                 <listitem><para><filename>qemuparams=\"<replaceable>xyz</replaceable>\"</filename>:
                     Specifies custom QEMU parameters.
                     Use this option to pass options other than the simple