Re-generated doc

diff --git a/docs/formatdomain.html b/docs/formatdomain.html
index 65a3566d283836751a6edfe963a4a155e5af325b..46f16b643f716fb228ece49a39a7d392b3430e63 100644 (file)
--- a/docs/formatdomain.html
+++ b/docs/formatdomain.html
@@ -477,7 +477,7 @@
              <vendor id='0x1234'/>
              <product id='0xbeef'/>
            </source>
-         </disk>
+         </hostdev>
          ...</pre>
         <dl><dt><code>hostdev</code></dt><dd>The <code>hostdev</code> element is the main container for describing
       host devices. For usb device passthrough <code>mode</code> is always