bin/colorout-to-dir.rnc

   1 default namespace = ""
   2
   3 start =
   4   element distro {
   5     attribute distro { text },
   6     attribute ok { text },
   7     attribute perl { text },
   8     attribute time { xsd:NMTOKEN },
   9     attribute seq { xsd:NMTOKEN }?,
  10     (text
  11      | element span {
  12          attribute style { text },
  13          text
  14        })+
  15   }