diff 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
line wrap: on
line diff
--- a/docs/dtd/changes.dtd
+++ b/docs/dtd/changes.dtd
@@ -12,10 +12,10 @@
 >
 
 <!ELEMENT change       (para)* >
-<!ATTLIST change       type (bugfix | feature | change | workaround) #IMPLIED >
+<!ATTLIST change       type (bugfix | feature | change | security | workaround) #IMPLIED >
 
 <!ELEMENT para         (#PCDATA | at | br | nobr)* >
-<!ATTLIST para         lang (ru | en) #IMPLIED >
+<!ATTLIST para         lang (ru | en) #REQUIRED >
 
 <!ELEMENT at           EMPTY >
 <!ELEMENT br           EMPTY >