diff options
Diffstat (limited to '')
| -rw-r--r-- | docs/change_log_conf.dtd | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/docs/change_log_conf.dtd b/docs/change_log_conf.dtd new file mode 100644 index 00000000..d8e90e35 --- /dev/null +++ b/docs/change_log_conf.dtd @@ -0,0 +1,26 @@ +<!ELEMENT configuration (generic, rpm, deb, changes+) > + +<!ELEMENT generic (length, start, indent?) > +<!ELEMENT rpm (length, start, indent?) > +<!ELEMENT deb (length, start, indent?) > + +<!ELEMENT length (#PCDATA) > +<!ELEMENT start (#PCDATA) > +<!ELEMENT indent (#PCDATA) > + +<!ELEMENT changes (title, length, + bugfix, feature, change, security, workaround, + (month, month, month, month, month, month, + month, month, month, month, month, month), + (day, day, day, day, day, day, day)?) > + +<!ELEMENT title (#PCDATA) > + +<!ELEMENT bugfix (#PCDATA) > +<!ELEMENT feature (#PCDATA) > +<!ELEMENT change (#PCDATA) > +<!ELEMENT security (#PCDATA) > +<!ELEMENT workaround (#PCDATA) > + +<!ELEMENT month (#PCDATA) > +<!ELEMENT day (#PCDATA) > |