Signed-off-by: Michal Privoznik <mprivozn(a)redhat.com>
---
docs/formatdomain.html.in | 23 +++++++++++++++++++++++
1 file changed, 23 insertions(+)
diff --git a/docs/formatdomain.html.in b/docs/formatdomain.html.in
index b7d7cba5a..4609e2ec2 100644
--- a/docs/formatdomain.html.in
+++ b/docs/formatdomain.html.in
@@ -2256,6 +2256,29 @@
</dd>
</dl>
+ <p>
+ To help users identifying devices they care about, every
+ device can have direct child <code>alias</code> element
+ which then has <code>name</code> attribute where users can
+ store identifier for the device. The identifier has to have
+ "ua-" prefix and must be unique within the domain. Additionally, the
+ identifier must consist only of the following characters:
+ <code>[a-zA-Z0-9_-]</code>.
+ <span class="since">Since 3.9.0</span>
+ </p>
+
+<pre>
+<devices>
+ <disk type='file'>
+ <alias name='ua-myDisk'/>
+ </disk>
+ <interface type='network' trustGuestRxFilters='yes'>
+ <alias name='ua-myNIC'/>
+ </interface>
+ ...
+</devices>
+</pre>
+
<h4><a id="elementsDisks">Hard drives, floppy disks,
CDROMs</a></h4>
<p>
--
2.13.6