schema: Allow interleaving the /domain/os/type element

The element wasn't declared under the interleave thus it was required
always to be first. This made it inconvenient when pasting new stuff to
the XML manually in the "wrong" place.

diff --git a/docs/schemas/domaincommon.rng b/docs/schemas/domaincommon.rng
index 6e73e7c13430502ca1f0690595004bac784ac3c7..4e4fe9fc8e28ec0c91429f45eba0746111ecd7ff 100644 (file)
--- a/docs/schemas/domaincommon.rng
+++ b/docs/schemas/domaincommon.rng
@@ -238,8 +238,8 @@
       <ref name="bootloader"/>
     </optional>
     <element name="os">
-      <ref name="ostypehvm"/>
       <interleave>
+        <ref name="ostypehvm"/>
         <optional>
           <element name="loader">
             <optional>