diff options
Diffstat (limited to 'src/documentation/resources')
| -rw-r--r-- | src/documentation/resources/schema/dtd/compliance-v10.dtd | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/documentation/resources/schema/dtd/compliance-v10.dtd b/src/documentation/resources/schema/dtd/compliance-v10.dtd index 613fc92be..1421a0eab 100644 --- a/src/documentation/resources/schema/dtd/compliance-v10.dtd +++ b/src/documentation/resources/schema/dtd/compliance-v10.dtd @@ -1,8 +1,9 @@ <?xml version="1.0" encoding="UTF-8"?> <!-- $Id$ --> <!ELEMENT compliance (head, body)> -<!ELEMENT head (title)> +<!ELEMENT head (title, subtitle?)> <!ELEMENT title (#PCDATA)> +<!ELEMENT subtitle (#PCDATA)> <!ELEMENT body (standard)> <!ELEMENT standard (explanatory?, level-1+)> <!ATTLIST standard |