diff options
Diffstat (limited to 'avahi-daemon/avahi-service.dtd')
| -rw-r--r-- | avahi-daemon/avahi-service.dtd | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/avahi-daemon/avahi-service.dtd b/avahi-daemon/avahi-service.dtd new file mode 100644 index 0000000..3c62764 --- /dev/null +++ b/avahi-daemon/avahi-service.dtd @@ -0,0 +1,18 @@ +<!-- $Id$ --> + +<!ELEMENT service-group (name,service+)> +<!ATTLIST service-group> +<!ELEMENT name (#PCDATA)> +<!ATTLIST name replace-wildcards (yes|no) "no"> +<!ELEMENT service (type,domain-name?,host-name?,port,txt-record*)> +<!ATTLIST service> +<!ELEMENT type (#PCDATA)> +<!ATTLIST type> +<!ELEMENT domain-name (#PCDATA)> +<!ATTLIST domain-name> +<!ELEMENT host-name (#PCDATA)> +<!ATTLIST host-name> +<!ELEMENT port (#PCDATA)> +<!ATTLIST port> +<!ELEMENT txt-record (#PCDATA)> +<!ATTLIST txt-record> |