comparison docs/dtd/changes.dtd @ 4831:5e3bda6f5208

Pass changes.xml thru xmllint when generating CHANGES and CHANGES.ru.
author Ruslan Ermilov <ru@nginx.com>
date Thu, 30 Aug 2012 16:08:13 +0000
parents 818fbd4750b9
children e79c7521aaf4
comparison
equal deleted inserted replaced
4830:2c863b4a8f93 4831:5e3bda6f5208
10 <!ATTLIST changes ver CDATA #REQUIRED 10 <!ATTLIST changes ver CDATA #REQUIRED
11 date CDATA #REQUIRED 11 date CDATA #REQUIRED
12 > 12 >
13 13
14 <!ELEMENT change (para)* > 14 <!ELEMENT change (para)* >
15 <!ATTLIST change type (bugfix | feature | change | workaround) #IMPLIED > 15 <!ATTLIST change type (bugfix | feature | change | security | workaround) #IMPLIED >
16 16
17 <!ELEMENT para (#PCDATA | at | br | nobr)* > 17 <!ELEMENT para (#PCDATA | at | br | nobr)* >
18 <!ATTLIST para lang (ru | en) #IMPLIED > 18 <!ATTLIST para lang (ru | en) #REQUIRED >
19 19
20 <!ELEMENT at EMPTY > 20 <!ELEMENT at EMPTY >
21 <!ELEMENT br EMPTY > 21 <!ELEMENT br EMPTY >
22 <!ELEMENT nobr (#PCDATA) > 22 <!ELEMENT nobr (#PCDATA) >