diff options
Diffstat (limited to 'app/nginx/docs/dtd/change_log_conf.dtd')
| -rw-r--r-- | app/nginx/docs/dtd/change_log_conf.dtd | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/app/nginx/docs/dtd/change_log_conf.dtd b/app/nginx/docs/dtd/change_log_conf.dtd new file mode 100644 index 0000000..40a0123 --- /dev/null +++ b/app/nginx/docs/dtd/change_log_conf.dtd @@ -0,0 +1,22 @@ + +<!ELEMENT configuration (length, start, indent, changes+) > + +<!ELEMENT length (#PCDATA) > +<!ELEMENT start (#PCDATA) > +<!ELEMENT indent (#PCDATA) > + +<!ELEMENT changes (title, length, + bugfix, feature, change, workaround, + (month, month, month, month, month, month, + month, month, month, month, month, month)?) > + +<!ATTLIST changes lang ( ru | en) #REQUIRED> + +<!ELEMENT title (#PCDATA) > + +<!ELEMENT bugfix (#PCDATA) > +<!ELEMENT feature (#PCDATA) > +<!ELEMENT change (#PCDATA) > +<!ELEMENT workaround (#PCDATA) > + +<!ELEMENT month (#PCDATA) > |